2.73/2.82 YES 2.73/2.82 2.73/2.82 2.73/2.82 Termination: (Ranking Functions Found) 2.73/2.82 ------------ 2.73/2.82 f389_0_dupList_NONNULL: < < arg1 >, < arg2 >, < - arg3 > > 2.73/2.82 f117_0_createList_GE: < < arg1 > > 2.73/2.82 2.73/2.82 2.82/2.88 EOF