let var_id_to_type id =
  type_table#get_type (global_var_id#get_name_of id)