1.34/1.46 YES 1.34/1.46 1.34/1.46 1.34/1.46 Termination: (Ranking Functions Found) 1.34/1.46 ------------ 1.34/1.46 l0: < < - x_0 + y_0 > > 1.34/1.46 l1: < < -1 > > 1.34/1.46 1.34/1.46 1.48/1.52 EOF