ddc-core-simpl: lambda lifter for recursive functions. lift the knot up to the top level