Leveraging Predictive Equivalence in Decision Trees