(GOAL COMPLEXITY) (STARTTERM (FUNCTIONSYMBOLS start)) (VAR A B C) (RULES eval(A,B,C) -> Com_1(eval(A + B,B - 2,C + 1)) :|: A >= 0 eval(A,B,C) -> Com_1(eval(A + C,B,C - 2)) :|: A >= 0 start(A,B,C) -> Com_1(eval(A,B,C)) )