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