let
atoms_to_list atms =
Format
.eprintf
"Atoms_to_list@."
;
Atom
.
Set
.elements atms