sig
  type ti = annots
  type t
  val create : int -> t
  val find : t -> Cil2cfg.edge -> ti
  val find_all : t -> Cil2cfg.edge -> ti list
  val add : t -> Cil2cfg.edge -> ti -> unit
  val replace : t -> Cil2cfg.edge -> ti -> unit
  val remove : t -> Cil2cfg.edge -> unit
  val clear : t -> unit
end