1.50/1.59 YES 1.50/1.59 1.50/1.59 1.50/1.59 Termination: (Ranking Functions Found) 1.50/1.59 ------------ 1.50/1.59 f160_0_main_LE: < < 90 - arg1 + 10 * arg2 >, < arg2 > > 1.50/1.59 1.50/1.59 1.59/1.64 EOF