lt 0 s x true lt x 0 false lt s x s y lt x y fibo 0 fib 0 fibo s 0 fib s 0 fibo s s x sum fibo s x fibo x fib 0 s 0 fib s 0 s 0 fib s s x if true 0 s s x 0 0 if true c s s x a b if lt s c s s x s c s s x b c if false c s s x a b sum fibo a fibo b sum x 0 x sum x s y s sum x y lt 2 0 0 s 1 true 0 false 0 fibo 1 fib 1 sum 2 if 5 INNERMOST ./TRS/SchneiderKamp/trs/otto04.trs