Efficient & Correct Predictive Equivalence for Decision Trees