YES Termination: (Ranking Functions Found) ------------ f117_0_createList_GE: < < arg1 > > f389_0_dupList_NONNULL: < < arg1 >, < arg1 >, < -arg3 > > method 1