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