cond true x y cond gr x y p x s y gr 0 x false gr s x 0 true gr s x s y gr x y p 0 0 p s x x cond 3 true 0 gr 2 p 1 s 1 0 0 false 0 FULL ./TRS/Beerendonk/2.trs