object
  val id_to_string : (int, string) Hashtbl.t
  val mutable ident_number : int
  val string_to_id : (string * int, int) Hashtbl.t
  method get_id : string -> int
  method get_name : int -> string
  method get_role_id : int -> int
  method get_tab : (int, string) Hashtbl.t
  method get_tab_string_to_id : (string * int, int) Hashtbl.t
  method register_blind_const : string -> int -> int
  method register_blind_var : string -> int -> int
  method register_name : string -> int -> int
end