funcons-lambda-cbv-mp-0.1.0.2: programs/mp5.cbv

let code = \y. if y <= 0 then lift 1
                         else [| $(this (y + -1)) + x |]
in code 3