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