For some reason the script was deleting the assume declaration in assumption-cache-invalidation.ll, so fixed that manually.