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