let merge_db_table current_table =
let treat_instr k record =
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 begin
(* Value_parameters.debug "merge: %d states"
(State_imp.length record.superposition); *)
let sum = State_imp.join_dropping_relations record.superposition in
Value_parameters.debug "merge: join done" ;
Db.Value.update_table k sum
end
in
Ki.Hashtbl.iter treat_instr current_table