Keep track of persists in lambda-lifting
Keep track of persists in lambda-lifting

guoyiteng/braid,cucapra/braid,cucapra/braid,guoyiteng/braid,cucapra/braid,cucapra/braid,cucapra/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,guoyiteng/braid,cucapra/braid