(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS l0))
(VAR A B)
(RULES
  l0(A,B) -> Com_1(l1(A,B))
  l1(A,B) -> Com_1(l1(A,B - A - A + 1)) :|: B <= A && A + B >= 1
)