The dominance computation already has logic for computing if an edge dominates