Equivalence Preprocessing for incremental programs

[MaxOstrowski]

clasp is currently missing an equivalence preprocessing for incremental programs. As shown in this example, no equivalences are detected.

#script (python)
import clingo

def main(prg):
    prg.configuration.solve.models = 0
    prg.ground([("base", [])])
    prg.solve()

#end.

{a;b}.
:- a, not b.
:- b, not a.

This is supposed to be an open feature request, as there are no concrete ideas how to support this feature.