Simplification_of_disjunctive_antecedents loading ...