cleaned NamedDAG (removed its own EquivalenceMap)
cleaner code