let atom_to_icsat_id a =
  try
    Atomtbl.find idtbl a
  with
      Not_found -> failwith "ICSAT: no such atom id"