sig
  type todo = private {
    node : PdgTypes.Node.t;
    kf : Cil_types.kernel_function;
    pdg : Db.Pdg.t;
    callstack_length : int;
    from_deep : bool;
  }
  type t = Components.??.todo list
  val mk_init :
    Cil_types.kernel_function ->
    Db.Pdg.t -> PdgTypes.Node.t list -> Components.??.todo list
  val add :
    PdgTypes.Node.t ->
    Cil_types.kernel_function ->
    Db.Pdg.t -> int -> bool -> Components.??.-> Components.??.t
end