(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C) (RULES f0(A, B, C) -> Com_1(f8(D, 0, C)) f8(A, B, C) -> Com_1(f8(A, B + 1, C)) [ B >= 0 /\ 9 >= B ] f19(A, B, C) -> Com_1(f19(A, B, C + 1)) [ C >= 0 /\ B + C - 10 >= 0 /\ B - 10 >= 0 /\ 9 >= C ] f19(A, B, C) -> Com_1(f29(A, B, C)) [ C >= 0 /\ B + C - 10 >= 0 /\ B - 10 >= 0 /\ C >= 10 ] f8(A, B, C) -> Com_1(f19(A, B, 0)) [ B >= 0 /\ B >= 10 ] )