YES Termination: (Ranking Functions Found) ------------ f673_0_createIntList_LE: < < arg1 > > f704_0_nth_LE: < < arg2 > > f754_0_main_LE: < < arg1 > > f964_0_nth_LE: < < arg1 >, < arg3 > > method 1