(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C) (RULES f0(A, B, C) -> Com_1(f15(2, B, C)) f15(A, B, C) -> Com_1(f18(A, A, C)) [ A - 2 >= 0 /\ 10 >= A ] f18(A, B, C) -> Com_1(f18(A, B - 1, F)) [ -B + 10 >= 0 /\ A - B >= 0 /\ -A - B + 20 >= 0 /\ -A + 10 >= 0 /\ A - 2 >= 0 /\ D >= E + 1 ] f18(A, B, C) -> Com_1(f15(A + 1, B, C)) [ -B + 10 >= 0 /\ A - B >= 0 /\ -A - B + 20 >= 0 /\ -A + 10 >= 0 /\ A - 2 >= 0 ] f15(A, B, C) -> Com_1(f28(A, B, C)) [ A - 2 >= 0 /\ A >= 11 ] )