1.63/1.67 YES 1.63/1.67 1.63/1.67 1.63/1.67 Termination: (Ranking Functions Found) 1.63/1.67 ------------ 1.63/1.67 f264_0_loop_LE: < < 1 + arg2, arg3 > > 1.63/1.67 1.63/1.67 1.66/1.72 EOF