LiftOneLevel LetIn1 passes