Class ConjunctiveConstraintSplitterOptimizer.ConstraintVisitor