3.40/3.69	YES
3.40/3.69	
3.40/3.69	
3.40/3.69	Termination: (Ranking Functions Found)
3.40/3.69	------------
3.40/3.69	f518_0__init__InvokeMethod: < < arg2 >, < arg2 > >
3.40/3.69	f388_0_height_NONNULL: < < arg1 >, < arg1 > >
3.40/3.69	f193_0__init__LE: < < arg1 >, < arg1 >, < arg1 > >
3.40/3.69	
3.40/3.69	
3.47/3.75	EOF