1.82/1.87	YES
1.82/1.87	
1.82/1.87	
1.82/1.87	Termination: (Ranking Functions Found)
1.82/1.87	------------
1.82/1.87	f536_0_copy_InvokeMethod: < < arg1 >, < arg1 >, < arg1 > >
1.82/1.87	
1.82/1.87	
1.82/1.92	EOF