cond true x cond odd x p x odd 0 false odd s 0 true odd s s x odd x p 0 0 p s x x cond 2 true 0 odd 1 p 1 0 0 false 0 s 1 FULL ./TRS/Beerendonk/6.trs