let merge_db_table hash_states =
let treat_stmt k sum =
let current_state = Db.Value.noassert_get_stmt_state k in
let is_top_already =
Cvalue.Model.is_top current_state
in
if not is_top_already
then Db.Value.update_table k sum
in
if Mark_noresults.should_memorize_function
(Kernel_function.get_definition (Value_util.current_kf()))
then
Stmt.Hashtbl.iter treat_stmt (Lazy.force hash_states)