funcons-lambda-cbv-mp-0.1.0.2: programs/fib-double-cbv.cbv

let fib = \n. if (output n) <= 2 
                then 1
                else this (n + -2) + this (n + -1)
in let double = \n. n + n
   in double (fib 7)