1.89/1.96 YES 1.89/1.96 1.89/1.96 1.89/1.96 Termination: (Ranking Functions Found) 1.89/1.96 ------------ 1.89/1.96 l0: < < y_0 >, < x_0 > > 1.89/1.96 l1: < < y_0 >, < -1 + x_0 > > 1.89/1.96 1.89/1.96 1.97/2.01 EOF