while true s s s i while gt s s s i s 0 f s s s i f i if neq i s s 0 i gt s x s y gt x y gt s x 0 true gt 0 0 false gt 0 s y false if true i plus i s 0 if false i i neq s x s y neq x y neq 0 0 false neq 0 s y true neq s x 0 true 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 neq 2 false 0 plus 2 FULL velroyen-nonloop-ConvLower_c.trs