1.42/1.45 YES 1.42/1.45 1.42/1.45 1.42/1.45 Termination: (Ranking Functions Found) 1.42/1.45 ------------ 1.42/1.45 l0: < < - y_0 > > 1.42/1.45 l1: < < - y_0 > > 1.42/1.45 1.42/1.45 1.44/1.50 EOF