(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A) (RULES f0(A) -> Com_1(f3(0)) f3(A) -> Com_1(f3(A + 1)) [ A >= 0 /\ 41 >= A ] f3(A) -> Com_1(f3(A + 1)) [ A >= 0 /\ 41 >= A /\ 0 >= B + 1 ] f3(A) -> Com_1(f13(A)) [ A >= 0 /\ A >= 42 ] )