1.21/1.25 YES 1.21/1.25 1.21/1.25 1.21/1.25 Termination: (Ranking Functions Found) 1.21/1.25 ------------ 1.21/1.25 f145_0_main_LE: < < arg1 - arg2 > > 1.21/1.25 1.21/1.25 1.30/1.31 EOF