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:     when
        is_subtype(RestTree,  [merkle_tree:mt_node()]),
        is_subtype(Stats,     rr_recon_stats:stats()),
        is_subtype(Requests,  [merkle_cmp_requst()]),
        is_subtype(Resolve,   [merkle_tree:mt_node()]).
  process_tree_cmp_result(CmpResult, Tree, BranchSize, Stats) ->
      Compared = length(CmpResult),
  
negative.code:                                  {resolve_started, Resolves}], NStats),
      CompLeft = rr_recon_stats:get(tree_compareLeft, FStats),
      if CompLeft =:= 0 ->
             comm:send(DestReconPid, {shutdown, sync_finished_remote}),
             comm:send_local(self(), {shutdown, sync_finished});
         true -> ok
  