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	f270_0_length_FieldAccess: < < arg1 > >
1.82/1.87	f191_0_main_LE: < < arg1 >, < arg2 > >
1.82/1.87	
1.82/1.87	
1.90/1.92	EOF