YES


Termination: (Ranking Functions Found)
------------
f3396_0__init__GE: < < arg3 - arg5 > >
f3437_0__init__GE: < < arg8 > >
f3438_0__init__GE: < < arg3 - arg10 > >
f3043_0__init__LE: < < arg19 >, < arg19 >, < arg19 >, < arg19 >, < arg19 > >
f6913_0_remove_FieldAccess: < < - arg1 + arg2 >, < -1 - arg1 + arg2 >, < -1 - arg1 + arg2 > >
f3395_0__init__GE: < < arg3 - arg6 > >
f6944_0_remove_FieldAccess: < < - arg1 + arg2 >, < -1 - arg1 + arg2 >, < -1 - arg1 + arg2 > >
f6947_0_remove_FieldAccess: < < -1 - arg1 + arg2 > >
f6942_0_remove_FieldAccess: < < - arg1 + arg2 >, < -1 - arg1 + arg2 >, < -1 - arg1 + arg2 > >
f6761_0_removeRange_GE: < < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >