cond1 s x y cond2 gr s x y s x y cond2 true x y cond1 y y cond2 false x y cond1 p x y gr 0 x false gr s x 0 true gr s x s y gr x y neq 0 0 false neq 0 s x true neq s x 0 true neq s x s y neq x y p 0 0 p s x x cond1 2 s 1 cond2 3 gr 2 true 0 false 0 p 1 0 0 neq 2 FULL ./TRS/Beerendonk/14.trs