sig
val get_from_call :
Cil_types.kernel_function -> Cil_types.stmt -> Function_Froms.t
val get_value_state : Cil_types.stmt -> Db.Value.state
val keep_base : Cil_types.kernel_function -> Base.t -> bool
val cleanup_and_save :
Cil_types.kernel_function -> Function_Froms.t -> Function_Froms.t
end