main = Fib.Start
Fib.Start = Fib.fib 36
Fib.fib !n_0 = if (<{Fib.<=_3}> n_0 1) 1 (add (Fib.fib (sub n_0 2)) (Fib.fib (sub n_0 1)))
<{Fib.<=_3}> !x_0 !y_1 = not (lt y_1 x_0)