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