(GOAL COMPLEXITY)
(STARTTERM (FUNCTIONSYMBOLS start))
(VAR A B)
(RULES
  start(A) -> Com_1(a(A)) :|: A >= 1
  start(A) -> Com_1(a(A)) :|: A >= 2
  start(A) -> Com_1(a(A)) :|: A >= 4
  a(A) -> Com_1(a(B)) :|: 2*B >= 2 && A = 2*B
  a(A) -> Com_1(a(B)) :|: 2*B >= 1 && A = 2*B + 1
)