anchor.diff:  -type struct() :: bloom_recon_struct() |
                     merkle_tree:merkle_tree() |
                     art:art() |                        
  -                  [internal_params()].
  +                  [internal_params()] |
  +                  {merkle_nl, [merkle_tree:mt_nodes()]}.
   -type recon_dest() :: ?RT:key() | random.
   
   -record(rr_recon_state,
  
positive.code:     %API
      request() |
      %tree sync msgs
      {check_nodes, InitiatorPid::comm:mypid(), [merkle_cmp_request()]} |
      {check_nodes_response, [merkle_cmp_result()]} |
      %dht node response
      {get_state_response, intervals:interval()} |
  
negative.code: %% merkle tree sync messages
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  on({check_nodes, SenderPid, ToCheck}, State = #rr_recon_state{ struct = Tree }) ->
      %not merkle_tree:is_merkle_tree(Tree) andalso
      %    ct:pal("Parter: ~p", [[{merkle_tree:get_hash(X), merkle_tree:get_interval(X)} || X <- Tree]]),
      {Result, RestTree} = check_node(ToCheck, Tree),
      comm:send(SenderPid, {check_nodes_response, Result}),
      State#rr_recon_state{ dest_recon_pid = SenderPid, struct = RestTree };
  
  on({check_nodes_response, CmpResults}, State =
         #rr_recon_state{ dest_recon_pid = DestReconPid,
  