4.91/4.97 YES 4.91/4.97 4.91/4.97 4.91/4.97 Termination: (Ranking Functions Found) 4.91/4.97 ------------ 4.91/4.97 f484_0_dif_GE: < < 18 - arg2 >, < 19 - arg4 >, < 19 - arg4 >, < - arg3 > > 4.91/4.97 f375_0_dif_GE: < < 19 - arg3 > > 4.91/4.97 4.91/4.97 4.98/5.03 EOF