fix current_explanation for disjunction literals