recompute explanation on failure triggered from ExplainedContReifDisj