sig
  val get_value_state : Cil_types.stmt -> Db.Value.state
  val memo : Functionwise.Tbl.key -> Functionwise.Tbl.data
  val get_from_call : Functionwise.Tbl.key -> '-> Functionwise.Tbl.data
  val keep_base : Cil_types.kernel_function -> Base.t -> bool
  val cleanup :
    Cil_types.kernel_function -> Function_Froms.froms -> Function_Froms.froms
  val cleanup_and_save :
    Functionwise.Tbl.key -> Functionwise.Tbl.data -> Functionwise.Tbl.data
end