anchor.diff:      {resolve_req, DBChunk::bitstring(), SigSize::signature_size(),
        VSize::signature_size(), SenderPid::comm:mypid()} |
       % merkle tree sync messages
  -    {?check_nodes, SenderPid::comm:mypid(), ToCheck::bitstring(), SigSizeI::signature_size(),
  -     SigSizeILeafDiff::signature_size() % = SigSizeL - SigSizeI
  -    } |
  +    {?check_nodes, SenderPid::comm:mypid(), ToCheck::bitstring(), SigSize::signature_size()} |
       {?check_nodes, ToCheck::bitstring(), SigSizeI::signature_size(),
  -     SigSizeILeafDiff::signature_size() % = SigSizeL - SigSizeI
  +     SigSizeILeafDiff::0 | signature_size() % = SigSizeL - SigSizeI
       } |
       {?check_nodes_response, FlagsBin::bitstring(), MaxLeafCount::non_neg_integer(),
        MaxLeafItemsCountDiff::non_neg_integer() % = MaxLeafCount * BranchFactor - MaxItemsCount
  
positive.code: begin_sync(MySyncStruct, _OtherSyncStruct,
             State = #rr_recon_state{method = merkle_tree, initiator = Initiator,
                                     ownerPid = OwnerL, stats = Stats,
                                     dest_recon_pid = DestReconPid,
                                     dest_rr_pid = DestRRPid}) ->
      ?TRACE("BEGIN SYNC", []),
  
negative.code: %% merkle tree sync messages
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  on({?check_nodes, SenderPid, ToCheck, SigSize}, State)
    when is_bitstring(ToCheck) andalso is_integer(SigSize) ->
      NewState = State#rr_recon_state{dest_recon_pid = SenderPid},
      on({?check_nodes, ToCheck, SigSize, 0}, NewState);
  
  on({?check_nodes, ToCheck0, SigSizeI, SigSizeILeafDiff},
     State = #rr_recon_state{stage = reconciliation,    initiator = false,
  