let atoms_empty () =   
  Format.eprintf "Atoms_empty@.";
  Atom.Set.empty