4.24/4.33 YES 4.24/4.33 4.24/4.33 4.24/4.33 Termination: (Ranking Functions Found) 4.24/4.33 ------------ 4.24/4.33 f1321_0_main_LE: < < arg2 + arg3 >, < arg4 >, < arg4 >, < arg2 + arg3 > > 4.24/4.33 4.24/4.33 4.36/4.39 EOF