1.77/1.85	YES
1.77/1.85	
1.77/1.85	
1.77/1.85	Termination: (Ranking Functions Found)
1.77/1.85	------------
1.77/1.85	f115_0_nest_InvokeMethod: < < 0 >, < 0 >, < arg1 > >
1.77/1.85	f66_0_nest_NE: < < arg1 >, < arg1 >, < arg1 > >
1.77/1.85	
1.77/1.85	
1.83/1.91	EOF