(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B) (RULES f0(A, B) -> Com_1(f5(2, 4)) f5(A, B) -> Com_1(f5(A + 2, A + 4)) [ A - B + 2 >= 0 /\ B - 4 >= 0 /\ A + B - 6 >= 0 /\ -A + B - 2 >= 0 /\ A - 2 >= 0 /\ 19 >= A ] f5(A, B) -> Com_1(f8(A, B)) [ A - B + 2 >= 0 /\ B - 4 >= 0 /\ A + B - 6 >= 0 /\ -A + B - 2 >= 0 /\ A - 2 >= 0 /\ A >= 20 ] )