(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS evalndecrstart)) (VAR A) (RULES evalndecrstart(A) -> Com_1(evalndecrentryin(A)) evalndecrentryin(A) -> Com_1(evalndecrbb1in(A - 1)) evalndecrbb1in(A) -> Com_1(evalndecrbbin(A)) [ A >= 2 ] evalndecrbb1in(A) -> Com_1(evalndecrreturnin(A)) [ 1 >= A ] evalndecrbbin(A) -> Com_1(evalndecrbb1in(A - 1)) [ A - 2 >= 0 ] evalndecrreturnin(A) -> Com_1(evalndecrstop(A)) [ -A + 1 >= 0 ] )