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