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