let merge_db_table hash_states =
let treat_instr k sum =
let current_state = Db.Value.noassert_get_state k in
let is_top_already =
Relations_type.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
Ki.Hashtbl.iter treat_instr (Lazy.force hash_states)