reason for ExplainedConstraintReifiedDisjunctive