let filter_conflicts confl p f =
Formula.fold
(fun d nf ->
Formula.conj nf
(Formula.of_disj
(Disj.filter
(fun q ->
not (PSet.exists (fun r -> Formula.implies1 f (Disj.lit r))
(Conflict.of_package confl q)))
d)))
f Formula._true