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