EquivalenceTBoxOptimizer
minor changes