let of_list (dl, rho) =
  let rec loop acc = function
    | [] -> acc
    | d :: dl ->
        if Atom.is_false d then Atom.Set.empty
        else if Atom.is_true d then acc
        else loop (Atom.Set.add d acc) dl
  in
    (loop Atom.Set.empty dl, rho)