2.08/2.18	YES
2.08/2.18	
2.08/2.18	
2.08/2.18	Termination: (Ranking Functions Found)
2.08/2.18	------------
2.08/2.18	f194_0_createList_LE: < < arg1 > >
2.08/2.18	f298_0_appE_NONNULL: < < arg1 >, < arg2 > >
2.08/2.18	
2.08/2.18	
2.19/2.24	EOF