let d_singleton (ds, rho) =
  if Atom.Set.cardinal ds = 1 then
    (Atom.Set.choose ds, rho)
  else 
    raise Not_found