(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B) (RULES f0(A, B) -> Com_1(f4(0, B)) f4(A, B) -> Com_1(f4(A + 1, B)) [ A >= 0 /\ 1 >= A ] f10(A, B) -> Com_1(f10(A, B + 1)) [ B >= 0 /\ A + B - 2 >= 0 /\ A - 2 >= 0 /\ 1 >= B ] f10(A, B) -> Com_1(f18(A, B)) [ B >= 0 /\ A + B - 2 >= 0 /\ A - 2 >= 0 /\ B >= 2 /\ 0 >= C + 1 ] f10(A, B) -> Com_1(f18(A, B)) [ B >= 0 /\ A + B - 2 >= 0 /\ A - 2 >= 0 /\ B >= 2 ] f4(A, B) -> Com_1(f10(A, 0)) [ A >= 0 /\ A >= 2 ] )