1.46/1.53 YES 1.46/1.53 1.46/1.53 1.46/1.53 Termination: (Ranking Functions Found) 1.46/1.53 ------------ 1.46/1.53 l1: < < -1 + x_0 > > 1.46/1.53 l0: < < x_0 > > 1.46/1.53 1.46/1.53 1.53/1.58 EOF