minus x 0 x minus s x s y minus x y quot 0 s y 0 quot s x s y s quot minus x y s y minus minus x y z minus x plus y z 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 minus 2 0 0 s 1 quot 2 plus 2 if 3 gt 2 not 1 id 1 zero 0 true 0 false 0 FULL ./TRS/SchneiderKamp/trs/wiehe09.trs