let var_to_icsat_id x =
  try
    Nametbl.find vartbl x
  with
      Not_found -> failwith "ICSAT: no such var id"