2.51/2.54 YES 2.51/2.54 2.51/2.54 2.51/2.54 Termination: (Ranking Functions Found) 2.51/2.54 ------------ 2.51/2.54 l2: < < i_5_0 > > 2.51/2.54 l4: < < i_5_0 > > 2.51/2.54 2.51/2.54 2.59/2.68 EOF