reason for explainedconstraintreifieddisjunction