(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f2))
(VAR A B C)
(RULES
  f2(A, B, C) -> Com_1(f300(A, B, C))
  f300(A, B, C) -> Com_1(f1(A, B, D)) [ A >= B ]
  f300(A, B, C) -> Com_1(f300(A + 1, B, C)) [ B >= A + 1 ]
)