sig
  val init : Components.kind -> Cil_types.kernel_function -> unit
  val push_function : Cil_types.stmt -> Cil_types.kernel_function -> unit
  val pop_function : unit -> unit
  val memo :
    Db.Pdg.t_node ->
    (unit -> (Db.Pdg.t_node * Cil_types.kernel_function) list) ->
    (Db.Pdg.t_node * Cil_types.kernel_function) list
end