ge x 0 true ge 0 s y false ge s x s y ge x y rev x if x eq 0 length x nil 0 length x if x true z c l z if x false z c l help s c l x z help c l cons x y z if append y cons x nil ge c l cons x z c l append nil y y append cons x y z cons x append y z length nil 0 length cons x y s length y ge 2 0 0 true 0 s 1 false 0 rev 1 if 5 eq 2 length 1 nil 0 help 4 cons 2 append 2 INNERMOST ./TRS/SchneiderKamp/trs/otto10.trs