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