YES Termination: (Ranking Functions Found) ------------ l0: < < i34_0 > > l2: < < i34_0 > > l4: < < i6_0 > > l5: < < i6_0 > > l6: < < i8_0 > > l8: < < i8_0 > > method 1