(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f2))
(VAR A B C D E)
(RULES
  f300(A, B, C, D, E) -> Com_1(f300(A + 1, B, C, D, E)) [ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ 100 >= A /\ B >= 1 ]
  f300(A, B, C, D, E) -> Com_1(f3(A, B, 0, 0, 0)) [ B - 1 >= 0 /\ A + B - 2 >= 0 /\ A - 1 >= 0 /\ A >= 101 ]
  f2(A, B, C, D, E) -> Com_1(f300(1, B, C, D, E)) [ B >= 1 ]
  f2(A, B, C, D, E) -> Com_1(f3(0, B, 0, 0, 0)) [ 0 >= B ]
)