(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS f0))
(VAR A)
(RULES
  f0(A) -> Com_1(f5(B)) [ B >= 1 ]
  f5(A) -> Com_1(f5(A + 1)) [ A - 1 >= 0 /\ 19 >= A ]
  f0(A) -> Com_1(f12(B)) [ 0 >= B ]
  f5(A) -> Com_1(f12(A)) [ A - 1 >= 0 /\ A >= 20 ]
)