anchor.diff:                             dest_rr_pid = DestRRPid,     dest_interval = SenderI}) ->
       ?TRACE1(_Msg, State),
       % target node got sync request, asked for its interval
  -    % struct contains the interval of the initiator
  +    % dest_interval contains the interval of the initiator
       % -> client creates recon structure based on common interval, sends it to initiator
       RMethod =:= merkle_tree andalso fd:subscribe(DestRRPid),
       SyncI = find_intersection(MyI, SenderI),
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec build_recon_struct(method(), intervals:non_empty_interval(), db_chunk_enc())
          -> sync_struct().
  build_recon_struct(bloom, I, DBItems) ->
      ?ASSERT(not intervals:is_empty(I)),
      Fpr = get_bloom_fpr(),
      ElementNum = length(DBItems),
      HFCount = bloom:calc_HF_numEx(ElementNum, Fpr),
      BF = ?REP_BLOOM:new(ElementNum, Fpr, ?REP_HFS:new(HFCount), DBItems),
      #bloom_recon_struct{ interval = I, bloom = BF };
  build_recon_struct(merkle_tree, I, DBItems) ->
      ?ASSERT(not intervals:is_empty(I)),
      merkle_tree:new(I, DBItems, [{branch_factor, get_merkle_branch_factor()},
                                   {bucket_size, get_merkle_bucket_size()}]);
  build_recon_struct(art, I, DBItems) ->
      ?ASSERT(not intervals:is_empty(I)),
      Branch = get_merkle_branch_factor(),
      BucketSize = merkle_tree:get_opt_bucket_size(length(DBItems), Branch, 1),
  
negative.code: -spec build_struct(DBList::db_chunk_enc(), DestI::intervals:non_empty_interval(),
                     RestI::intervals:interval(), state()) -> state() | kill.
  build_struct(DBList, DestI, RestI,
               State = #rr_recon_state{method = RMethod, params = Params,
                                       struct = OldSyncStruct,
                                       initiator = Initiator, stats = Stats,
                                       dhtNodePid = DhtNodePid, stage = Stage}) ->
      ?ASSERT(not intervals:is_empty(DestI)),
      ToBuild = if Initiator andalso RMethod =:= art -> merkle_tree;
                   true -> RMethod
                end,
      {BuildTime, SyncStruct} =
          util:tc(fun() -> build_recon_struct(ToBuild, OldSyncStruct, DestI, DBList) end),
      Stats1 = rr_recon_stats:inc([{build_time, BuildTime}], Stats),
      NewState = State#rr_recon_state{struct = SyncStruct, stats = Stats1},
      EmptyRest = intervals:is_empty(RestI),
  