sig
  type t = Pdg.Register.F_Proj(Config).t
  type mark = Config.M.t
  type call_info = Config.M.call_info
  type fct = (mark, call_info) PdgIndex.FctIndex.t
  val empty : unit -> t
  val find_marks : t -> Cil_types.varinfo -> fct option
  val mark_and_propagate :
    t -> PdgTypes.Pdg.t -> mark PdgMarks.select -> unit
end