ExplainedConstraintReifiedDisjunctive::propagate()