(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f10)) (VAR A B C D E F) (RULES f10(A, B, C, D, E, F) -> Com_1(f4(4, 0, 0, D, E, F)) f4(A, B, C, D, E, F) -> Com_1(f4(A, B + 1, G, H, E, G)) [ B >= 0 /\ A + B - 4 >= 0 /\ -A + B + 4 >= 0 /\ -A + 4 >= 0 /\ A - 4 >= 0 ] f4(A, B, C, D, E, F) -> Com_1(f9(A, B, C, C, C, F)) [ B >= 0 /\ A + B - 4 >= 0 /\ -A + B + 4 >= 0 /\ -A + 4 >= 0 /\ A - 4 >= 0 ] )