2
let x =
  let z = 514 in
  let w = ( let v = 31 in add1 ( v , z , y ) ) in
  w in
( fn ( u ) => u ( u ( u ) ) ) ( fn ( k ) => k ) ( sub1 ( x ) )
-----
let x = pow ( 2 , n ) in
let v = if greater ( x , 8 ) then false else true in
if v then 7 else 29
-----

let w = add1 ( 31 , 514 , y ) in
let %0 = sub1 ( w ) in
let %1 = fn ( u ) =>
  let %2 = u ( u ) in
  u ( %2 ) in
let %3 = %1 ( fn ( k ) => k ) in
%3 ( %0 )
=====
let x = pow ( 2 , n ) in
let %0 = greater ( x , 8 ) in
let %1 = fn ( %2 ) =>
  if %2 then
    7
  else
    29 in
if %0 then
  %1 ( false )
else
  %1 ( true )
=====