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