object
  val from_id : (int, int * int) Hashtbl.t
  val to_id : (int * int, int) Hashtbl.t
  val mutable var_number : int
  method get_id_of : int -> int -> int
  method get_name_of : int -> int
  method get_role_instance_of : int -> int
  method get_tab : (int, int * int) Hashtbl.t
  method get_variable : int -> int * int
  method unsafe_get_id_of : int -> int -> int
end