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