1.83/1.86 YES 1.83/1.86 1.83/1.86 1.83/1.86 Termination: (Ranking Functions Found) 1.83/1.86 ------------ 1.83/1.86 l3: < < __const_20_0 - i_0 > > 1.83/1.86 l2: < < __const_20_0 - i_0 > > 1.83/1.86 1.83/1.86 1.83/1.92 EOF