2.13/2.20	YES
2.13/2.20	
2.13/2.20	
2.13/2.20	Termination: (Ranking Functions Found)
2.13/2.20	------------
2.13/2.20	f208_0_createList_LE: < < arg1 > >
2.13/2.20	f358_0_duplicate_NULL: < < arg3 >, < arg2 > >
2.13/2.20	
2.13/2.20	
2.22/2.26	EOF