1.51/1.53	YES
1.51/1.53	
1.51/1.53	
1.51/1.53	Termination: (Ranking Functions Found)
1.51/1.53	------------
1.51/1.53	f152_0_createList_LE: < < arg2 > >
1.51/1.53	f196_0_reverse_NULL: < < arg1 > >
1.51/1.53	
1.51/1.53	
1.51/1.59	EOF