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