(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS f0)) (VAR A) (RULES f0(A) -> Com_1(f2(A + 200)) [ A + 99 >= 0 ] f0(A) -> Com_1(f2(A + 500)) [ A >= 1 ] f2(A) -> Com_1(f2(A + 700)) [ A - 101 >= 0 /\ A + 199 >= 0 ] )