minus x y cond gt x y x y cond false x y 0 cond true x y s minus x s y gt 0 v false gt s u 0 true gt s u s v gt u v minus 2 cond 3 gt 2 false 0 0 0 true 0 s 1 FULL ./TRS/SchneiderKamp/trs/cade01.trs