Adding
Adding ExplainedReifiedDisjunction