times x y sum generate x y generate x y gen x y 0 gen x y z if ge z x x y z if true x y z nil if false x y z cons y gen x y s z sum nil 0 sum cons 0 xs sum xs sum cons s x xs s sum cons x xs ge x 0 true ge 0 s y false ge s x s y ge x y times 2 sum 1 generate 2 gen 3 0 0 if 4 ge 2 true 0 nil 0 false 0 cons 2 s 1 FULL ./TRS/SchneiderKamp/trs/thiemann41.trs