while true s s s s s i while gt s s s s s i 0 f s s s s s i f i if eq mod2 i 0 i gt s x s y gt x y gt s x 0 true gt 0 y false if true i plus i s 0 if false i plus i s s s 0 mod2 s s x mod2 x mod2 s 0 s 0 mod2 0 0 eq s x s y eq x y eq 0 0 true eq 0 s y false eq s x 0 false plus s x y plus x s y plus 0 y y while 2 true 0 s 1 gt 2 0 0 f 1 if 2 eq 2 mod2 1 false 0 plus 2 FULL velroyen-nonloop-AlternatingIncr_c.trs