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