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