YES Termination: (Ranking Functions Found) ------------ l0: < < a_220_0 > > l10: < < a_220_0 > > l11: < < a_220_0 > > l12: < < -1 + a_220_0 > > l47: < < -i_33_0 + length_32_0 > > l5: < < a_148_0 -len_205_0 > > l53: < < -i_33_0 + length_32_0 > > l55: < < a_358_0 > > l56: < < a_358_0 > > l57: < < -1 + a_358_0 > > l58: < < -1 + a_358_0 > > l59: < < -1 + a_358_0 > > l6: < < a_220_0 > > l60: < < -1 + a_358_0 > > l61: < < -1 + a_358_0 > > l62: < < -1 + a_358_0 > > l7: < < a_220_0 > > l8: < < a_220_0 > > l9: < < a_220_0 > > method 1