plus 0 y y plus s x y s plus x y lt 0 s y true lt x 0 false lt s x s y lt x y fib x fibiter x 0 0 s 0 fibiter b c x y if lt c b b c x y if false b c x y x if true b c x y fibiter b s c y plus x y plus 2 0 0 s 1 lt 2 true 0 false 0 fib 1 fibiter 4 if 5 FULL ./TRS/SchneiderKamp/trs/thiemann25.trs