16.93/17.00 YES 16.93/17.00 16.93/17.00 16.93/17.00 Termination: (Ranking Functions Found) 16.93/17.00 ------------ 16.93/17.00 f2578_0_toPostfix_NULL: < < arg1 > > 16.93/17.00 f1999_0_toPostfix_NULL: < < arg1 >, < arg4 >, < arg4 >, < arg1 >, < arg1 >, < arg4 >, < arg4 >, < arg1 >, < arg2 >, < arg4 > > 16.93/17.00 f2651_0_buildExpression_GT: < < - arg3 + arg4 >, < 1 - arg3 + arg4 >, < - arg3 + arg4 > > 16.93/17.00 f2554_0_buildExpression_GE: < < - arg3 + arg4 > > 16.93/17.00 f1944_0_buildExpression_GT: < < - arg3 + arg4 >, < - arg3 + arg4 >, < - arg3 + arg4 > > 16.93/17.00 16.93/17.00 17.02/17.06 EOF