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