1.51/1.61 YES 1.51/1.61 1.51/1.61 1.51/1.61 Termination: (Ranking Functions Found) 1.51/1.61 ------------ 1.51/1.61 l0: < < 49 - i_0 > > 1.51/1.61 l2: < < 49 - i_0 > > 1.51/1.61 1.51/1.61 1.59/1.66 EOF