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 s x plus2 x s s x f 3 true 0 gt 2 plus2 1 plus1 1 s 1 0 0 false 0 FULL emmes-nonloop-ex1_1.trs