1.19/1.22 YES 1.19/1.22 1.19/1.22 1.19/1.22 Termination: (Ranking Functions Found) 1.19/1.22 ------------ 1.19/1.22 f46_0_main_LE: < < 10 - arg1 > > 1.19/1.22 1.19/1.22 1.20/1.28 EOF