1.20/1.25	YES
1.20/1.25	
1.20/1.25	
1.20/1.25	Termination: (Ranking Functions Found)
1.20/1.25	------------
1.20/1.25	f234_0_main_LE: < < arg1 + arg2 > >
1.20/1.25	
1.20/1.25	
1.20/1.31	EOF