anchor.diff:      %API
       request() |
       %tree sync msgs
  -    {check_nodes, InitiatorPid::comm:mypid(), [merkle_cmp_requst()]} |
  +    {check_nodes, InitiatorPid::comm:mypid(), [merkle_cmp_request()]} |
       {check_nodes_response, [merkle_cmp_result()]} |
       %dht node response
       {get_state_response, intervals:interval()} |
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  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 };
  
negative.code:         true -> p_check_node(L, [Tree], {[], []})
      end.
  
  -spec p_check_node([merkle_cmp_request()], [merkle_tree:mt_node()], Acc::Res) -> Res
      when
          is_subtype(Res, {[merkle_cmp_result()], [merkle_tree:mt_node()]}).
  p_check_node([], [], {AccR, AccN}) ->
  