50.52/50.56	YES
50.52/50.56	
50.52/50.56	
50.52/50.56	Termination: (Ranking Functions Found)
50.52/50.56	------------
50.52/50.56	f3043_0__init__LE: < < arg13 >, < arg19 >, < arg19 >, < arg9 + arg13 >, < arg19 > >
50.52/50.56	f3395_0__init__GE: < < arg3 - arg6 > >
50.52/50.56	f6913_0_remove_FieldAccess: < < -1 - arg1 + arg2 >, < - arg8 + arg13 >, < -1 - arg1 + arg2 > >
50.52/50.56	f3396_0__init__GE: < < arg3 - arg5 > >
50.52/50.56	f3438_0__init__GE: < < arg3 - arg10 > >
50.52/50.56	f6942_0_remove_FieldAccess: < < -1 - arg1 + arg2 >, < - arg9 + arg15 >, < -1 - arg1 + arg2 > >
50.52/50.56	f3437_0__init__GE: < < arg8 > >
50.52/50.56	f6947_0_remove_FieldAccess: < < -2 - arg1 + arg2 > >
50.52/50.56	f6944_0_remove_FieldAccess: < < -1 - arg1 + arg2 >, < - arg8 + arg12 >, < -1 - arg1 + arg2 > >
50.52/50.56	f6761_0_removeRange_GE: < < -1 - arg2 + arg3 >, < arg4 - arg5 >, < - arg2 + arg3 > >
50.52/50.56	
50.52/50.56	
50.56/50.62	EOF