(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start)) (VAR A) (RULES start(A) -> Com_1(f(A)) f(A) -> Com_1(f(A)) [ 0 >= A^2 + 1 ] )