YES


Termination: (Ranking Functions Found)
------------
f3684_0_extendMatchingSubstitution_EQ: < < -1 + arg3 >, < -2 + arg7 > >
f648_0_create_GT: < < arg1 > >
f3568_0_extendMatchingSubstitution_CheckCast: < < 0 >, < arg3 > >
f2576_0_create_GE: < < arg1 >, < - arg2 + arg3 > >
f3952_0_extendMatchingSubstitution_NULL: < < 0 >, < -2 + arg1 >, < arg2 >, < arg2 > >