let maybe_remove deps confl p f d = Disj.exists (fun q -> Conflict.for_all confl (fun r -> Formula.exists (fun d' -> Disj.implies d' d && not (Disj.implies1 q d') ) (PTbl.get deps r) ) q ) d