ExplainedReifiedDisjunctiveConstraint + moving the obj