times x plus y 1 plus times x plus y times 1 0 x times x 1 x times x 0 0 plus s x s y s s plus if gt x y x y if not gt x y id x id y plus s x x plus if gt x x id x id x s x plus zero y y plus id x s y s plus x if gt s y y y s y id x x if true x y x if false x y y not x if x false true gt s x zero true gt zero y false gt s x s y gt x y times 2 plus 2 1 0 0 0 s 1 if 3 gt 2 not 1 id 1 zero 0 true 0 false 0 FULL ./TRS/SchneiderKamp/trs/wiehe06.trs