pub fn normalize_ordering_equivalence_classes(
    oeq_classes: &[OrderingEquivalentClass],
    eq_properties: &EquivalenceProperties
) -> Vec<OrderingEquivalentClass>
Expand description

This function normalizes oeq_classes expressions according to eq_properties. More explicitly, it makes sure that expressions in oeq_classes are head entries in eq_properties, replacing any non-head entries with head entries if necessary.