Add a tentative equivalence-class finding code