YES Termination: (Ranking Functions Found) ------------ f458_0_sort_GE: < < 99 -arg1 > > f543_0_sort_GE: < < 98 -arg1 >, < 98 -arg2 >, < 98 * arg1 -arg2 > > method 1