1.61/1.64 YES 1.61/1.64 1.61/1.64 1.61/1.64 Termination: (Ranking Functions Found) 1.61/1.64 ------------ 1.61/1.64 f74_0_main_LE: < < 1 + arg1 > > 1.61/1.64 f138_0_main_GE: < < arg2 >, < - arg1 + arg2 > > 1.61/1.64 1.61/1.64 1.67/1.70 EOF