1.98/2.02 YES 1.98/2.02 1.98/2.02 1.98/2.02 Termination: (Ranking Functions Found) 1.98/2.02 ------------ 1.98/2.02 f571_0_sumList_NONNULL: < < arg2 > > 1.98/2.02 f302_0_createList_GE: < < arg2 - arg3 > > 1.98/2.02 1.98/2.02 2.05/2.08 EOF