Re-implemented EquivalenceTBoxOptimizer