PP.Compactor
Node compactor
val compact : node list -> node list
Attempt to reduce the set of nodes by eliminating irrilevant or subsumed ones