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