cleanup wipes almost the complete domain if called after grounding

[rkaminsk]

clingo considers (almost) all atoms as false when cleanup if called after grounding but before solving. It then applies too many simplifications.

The fix will probably consist in making cleanup a noop after grounding and providing an automatic cleanup facility so that the user only has to call the cleanup function in special cases.

import clingo
import sys

prg = clingo.Control()
prg.add("base", [], """
p(X) :- not q(X), X=2..3.
q(X) :- not p(X), X=1..2.

a :- not p(3).
b :- not q(1).
""")

prg.ground([("base", [])])
# prg.cleanup()

print(" ".join(
    f"{x.symbol}" if x.is_fact else f"[{x.symbol}]"
    for x in prg.symbolic_atoms))

prg.configuration.solve.solve_limit = 1
prg.solve()
prg.cleanup()

print(" ".join(
    f"{x.symbol}" if x.is_fact else f"[{x.symbol}]"
    for x in prg.symbolic_atoms))