anchor.diff:         true -> NewState
       end;
   
  -on({?check_nodes_response, FlagsBin, OtherMaxLeafCount, MaxLeafItemsCountDiff},
  +on({?check_nodes_response, FlagsBin, OtherMaxLeafCount, OtherMaxLeafItemsCountDiff},
      State = #rr_recon_state{stage = reconciliation,        initiator = true,
                              method = merkle_tree,          merkle_sync = MerkleSync,
                              params = #merkle_params{bucket_size = BucketSize} = Params,
  
positive.code:     {resolve_req, DBChunk::bitstring(), SigSize::signature_size(),
       VSize::signature_size(), SenderPid::comm:mypid()} |
      % merkle tree sync messages
      {?check_nodes, SenderPid::comm:mypid(), ToCheck::bitstring(), SigSize::signature_size()} |
      {?check_nodes, ToCheck::bitstring(), SigSizeI::signature_size(),
       SigSizeILeafDiff::0 | signature_size() % = SigSizeL - SigSizeI
      } |
      {?check_nodes_response, FlagsBin::bitstring(), MaxLeafCount::non_neg_integer(),
       MaxLeafItemsCountDiff::non_neg_integer() % = MaxLeafCount * BranchFactor - MaxItemsCount
  
negative.code:                              comm:make_global(OwnerL), SID,
                               {start_recon, merkle_tree, SyncParams}}),
              State#rr_recon_state{stats = Stats1, params = MySyncParams,
                                   misc = [{p1e, P1ETotal},
                                           {lcount, LeafCount},
                                           {icount, ItemCount}],
                                   kv_list = []}
      end;
  begin_sync(MySyncStruct, OtherSyncStruct,
  