(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start)) (VAR A) (RULES start(A) -> Com_1(eval(A)) eval(A) -> Com_1(eval(B)) [ A >= 0 /\ B + 2*A >= 10 /\ 10 >= 2*A + B ] )