(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A B C D) (RULES f0(A, B, C, D) -> Com_1(f8(0, B, C, D)) f8(A, B, C, D) -> Com_1(f8(A + 1, B, C, D)) [ A >= 0 /\ 3 >= A ] f8(A, B, C, D) -> Com_1(f8(A + 1, A, A + 1, E)) [ A >= 0 /\ 3 >= A ] f8(A, B, C, D) -> Com_1(f23(A, B, C, D)) [ A >= 0 /\ A >= 4 /\ 0 >= E + 1 ] f8(A, B, C, D) -> Com_1(f23(A, B, C, D)) [ A >= 0 /\ A >= 4 ] )