anchor.diff:                          struct = Tree }) ->
       SID = rr_recon_stats:get(session_id, Stats),
       {Req, Res, NStats, RTree} = process_tree_cmp_result(CmpResults, Tree, get_merkle_branch_factor(), Stats),
  -    %ct:pal("CmpRes=~p~nReq=~p~nRes=~p", [CmpResults, Req, Res]),
       Req =/= [] andalso
           comm:send(DestReconPid, {check_nodes, comm:this(), Req}),    
       {Leafs, Resolves} = lists:foldl(fun(Node, {AccL, AccR}) -> 
  
positive.code:         true -> p_check_node(L, [Tree], {[], []})
      end.
  
  -spec p_check_node([merkle_cmp_requst()], [merkle_tree:mt_node()], Acc::Res) -> Res
      when
          is_subtype(Res, {[merkle_cmp_result()], [merkle_tree:mt_node()]}).
  p_check_node([], [], {AccR, AccN}) ->
  
negative.code: -define(fail_inner,  4).
  -define(omit,        9).
  
  -type merkle_cmp_result()  :: ?ok_inner | ?ok_leaf | ?fail_leaf | ?fail_inner.
  -type merkle_cmp_request() :: merkle_tree:mt_node_key() | ?omit.
  
  -type request() :: 
      {start, method(), DestKey::recon_dest()} |
  