1.31/1.37 YES 1.31/1.37 1.31/1.37 1.31/1.37 Termination: (Ranking Functions Found) 1.31/1.37 ------------ 1.31/1.37 f210_0_main_LE: < < 2 - arg1, arg1 - arg2 > > 1.31/1.37 1.31/1.37 1.38/1.43 EOF