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