cleaned EquivalenceTBoxOptimizer