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