(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A) (RULES f4(A) -> Com_1(f12(A)) [ A >= 4 ] f4(A) -> Com_1(f4(1)) [ 0 >= A /\ 3 >= A ] f4(A) -> Com_1(f4(A + 1)) [ 3 >= A /\ A >= 1 ] f0(A) -> Com_1(f4(B)) )