sig type ti = prop_type list * prop_type list type t val create : int -> t val find : t -> Cil2cfg.CFG.E.t -> ti val replace : t -> Cil2cfg.CFG.E.t -> ti -> unit end