PscC - Perfect super(vised) compiler Collection 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.).