let simplify_formula confl f = Formula.filter (fun d -> Disj.for_all (fun p -> Conflict.exists confl (fun q -> not (Disj.implies1 q d)) p) d) f