1.91/1.95 YES 1.91/1.95 1.91/1.95 1.91/1.95 Termination: (Ranking Functions Found) 1.91/1.95 ------------ 1.91/1.95 l1: < < x_0 > > 1.91/1.95 l0: < < x_0 >, < y_0 > > 1.91/1.95 l2: < < x_0 >, < y_0 > > 1.91/1.95 1.91/1.95 1.97/2.01 EOF