sig
  type ti
  type t
  val create : int -> Cil2cfg.HEsig.t
  val find : Cil2cfg.HEsig.t -> Cil2cfg.CFG.E.t -> Cil2cfg.HEsig.ti
  val replace :
    Cil2cfg.HEsig.t -> Cil2cfg.CFG.E.t -> Cil2cfg.HEsig.ti -> unit
end