(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f999))
(VAR A B)
(RULES
  f1(A,B) -> Com_1(f2(A - 1,B)) :|: A >= 1
  f2(A,B) -> Com_1(f2(A - 1,B + 1)) :|: A >= 1
  f999(A,B) -> Com_1(f1(1,B - 1)) :|: B >= 1 && A = 0
  f1(A,B) -> Com_1(f1(A + 1,B - 1)) :|: B >= 1
  f2(A,B) -> Com_1(f1(A + 1,B - 1)) :|: B >= 1
)