The supercompiler uses both positive and negative data ( equalities and disequalities i.e. constraints ). So, in this case we have to maintain constraint system.

Perfect supercompilation is described in (Sorensen et al.).