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	f138_0_ack_GT: < < arg2 >, < arg2 >, < arg1 > >
1.98/2.02	
1.98/2.02	
2.06/2.08	EOF