(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS l0))
(VAR A B)
(RULES
  l0(A, B) -> Com_1(l1(0, B))
  l1(A, B) -> Com_1(l1(A + 1, B - 1)) [ A >= 0 /\ B >= 1 ]
  l1(A, B) -> Com_1(l2(A, B)) [ A >= 0 /\ 0 >= B ]
)