f true x y f gt x y plus2 x plus1 y gt s x 0 true gt 0 y false gt s x s y gt x y plus1 x plus x s 0 plus2 x plus x s s 0 plus 0 y y plus s x y plus x s y f 3 true 0 gt 2 plus2 1 plus1 1 s 1 0 0 false 0 plus 2 FULL emmes-nonloop-ex1_2.trs