anchor.diff:     State = #rr_recon_state{stage = resolve,           initiator = Initiator,
                              method = RMethod,
                              dest_rr_pid = DestRRPid,   ownerPid = OwnerL,
  -                           k_list = KList,          stats = Stats})
  +                           k_list = KList,            stats = Stats})
     when (RMethod =:= trivial andalso not Initiator) orelse
              ((RMethod =:= bloom orelse RMethod =:= shash) andalso Initiator) ->
       ?TRACE1(_Msg, State),
  
positive.code:                      {start_recon, shash, MySyncStruct}}),
      case MySyncStruct#shash_recon_struct.db_chunk of
          <<>> -> shutdown(sync_finished, State#rr_recon_state{kv_list = []});
          _    -> State#rr_recon_state{struct = {}, stage = resolve, kv_list = [],
                                       k_list = [element(1, KV) || KV <- KVList]}
      end;
  begin_sync(MySyncStruct, _OtherSyncStruct = {},
             State = #rr_recon_state{method = bloom, initiator = false,
  
negative.code: 
  on({resolve_req, OtherDBChunk, MyDiffIdx, SigSize, VSize, DestReconPid} = _Msg,
     State = #rr_recon_state{stage = resolve,           initiator = false,
                             method = shash,            kv_list = KVList}) ->
      ?TRACE1(_Msg, State),
  
      DBChunkTree =
          decompress_kv_list(OtherDBChunk, [], SigSize, VSize),
      IdxSize = bits_for_number(length(KVList)),
      MyDiffKeys = [Key || Key <- decompress_k_list_kv(MyDiffIdx, KVList, IdxSize, 0),
                                  not gb_trees:is_defined(compress_key(Key, SigSize),
                                                          DBChunkTree)],
  
  