anchor.diff:          merkle_tree -> 
               case Initiator of
                   true -> comm:send(DestReconPid, 
  -                                  {check_nodes, comm:this(), 
  -                                   [{merkle_tree:get_interval(SyncStruct), 
  -                                     merkle_tree:get_hash(SyncStruct)}]});
  +                                  {check_nodes, comm:this(), [merkle_tree:get_hash(SyncStruct)]});
                   false ->
                       IntParams = [{interval, merkle_tree:get_interval(SyncStruct)}, {reconPid, comm:this()}],
                       comm:send(DestRRPid, 
  
positive.code: %% merkle tree sync messages
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  on({check_nodes, SenderPid, ToCheck}, State = #rr_recon_state{ struct = Tree }) ->    
      Result = [check_node(X, Tree) || X <- ToCheck], %afraid of parallel (util:par_map) which causes lots tree copies
      comm:send(SenderPid, {check_nodes_response, Result}),
      State#rr_recon_state{ dest_recon_pid = SenderPid };
  
  on({check_nodes_response, CmpResults}, State =
         #rr_recon_state{ dest_recon_pid = DestReconPid,
  
negative.code:          }).
  -type state() :: #rr_recon_state{}.
  
  -define(ok_inner,    1).
  -define(ok_leaf,     2).
  -define(fail_leaf,   3).
  -define(fail_inner,  4).
  -define(omit,        9).
  
  -type merkle_cmp_result() :: ?ok_inner | ?ok_leaf | ?fail_leaf | ?fail_inner.
  -type merkle_cmp_requst() :: merkle_tree:mt_node_key() | ?omit.
  
  -type request() :: 
      {start, method(), DestKey::recon_dest()} |
  