Curry.ExtendedFlat.LiftLetrec
liftLetrecProg