cond1 true x cond2 even x x cond2 true x cond1 neq x 0 div2 x cond2 false x cond1 neq x 0 p x neq 0 0 false neq 0 s x true neq s x 0 true neq s x s y neq x y even 0 true even s 0 false even s s x even x div2 0 0 div2 s 0 0 div2 s s x s div2 x p 0 0 p s x x cond1 2 true 0 cond2 2 even 1 neq 2 0 0 div2 1 false 0 p 1 s 1 y 0 FULL ./TRS/Beerendonk/10.trs