cleaned EquivalenceDAGImpl