int ->
object
  val mutable counter : int
  val inttovar : Common.Util.IntHashtbl.key array
  val vartoint : int Common.Util.IntHashtbl.t
  method add : Common.Util.IntHashtbl.key -> unit
  method inttovar : int -> Common.Util.IntHashtbl.key
  method vartoint : Common.Util.IntHashtbl.key -> int
end