anchor.diff:  resolve_leaves(Nodes, Dest, SID, OwnerL) ->
       resolve_leaves(Nodes, Dest, SID, OwnerL, intervals:empty(), 0).
   
  -% @doc Returns number of caused resolve requests (requests with feedback count 2).
  +%% @doc Helper for resolve_leaves/4.
   -spec resolve_leaves([merkle_tree:mt_node()], Dest::comm:mypid(),
                        rrepair:session_id(), OwnerLocal::comm:erl_local_pid(),
                        Interval::intervals:interval(), Items::non_neg_integer())
           -> 0..2.
   resolve_leaves([Node | Rest], Dest, SID, OwnerL, Interval, Items) ->
  +    ?ASSERT(merkle_tree:is_leaf(Node)),
       LeafInterval = merkle_tree:get_interval(Node),
       IntervalNew = intervals:union(Interval, LeafInterval),
       ItemsNew = Items + merkle_tree:get_item_count(Node),
  
positive.code:                         ownerPid = OwnerL,
                          struct = Tree }) ->
      SID = rr_recon_stats:get(session_id, Stats),
      {Req, Res, NStats, RTree} = process_tree_cmp_result(
                                    CmpResults, Tree,
                                    get_merkle_branch_factor(), % this is how we build the tree!
                                    Stats),
      Req =/= [] andalso
          send(DestReconPid, {check_nodes, Req}),
      Resolves = resolve_leaves(Res, SrcNode, SID, OwnerL),
      FStats = rr_recon_stats:inc([{tree_leavesSynced, length(Res)},
                                   {resolve_started, Resolves}], NStats),
      CompLeft = rr_recon_stats:get(tree_compareLeft, FStats),
      NewState = State#rr_recon_state{stats = FStats, struct = RTree},
      if CompLeft =:= 0 ->
             send(DestReconPid, {shutdown, sync_finished_remote}),
             shutdown(sync_finished, NewState);
  
negative.code: % Merkle Tree specific
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  %% @doc Compares the given Hashes from the other node with my merkle_tree nodes
  %%      (executed on non-initiator).
  %%      Returns the comparison results and the rest nodes to check in a next
  %%      step.
  -spec check_node(Hashes::[merkle_cmp_request()],
                   merkle_tree:merkle_tree() | NodeList)
          -> {[merkle_cmp_result()], RestTree::NodeList, ResolveReq::NodeList}
      when is_subtype(NodeList, [merkle_tree:mt_node()]).
  check_node(Hashes, Tree) ->
      TreeNodes = case merkle_tree:is_merkle_tree(Tree) of
                      false -> Tree;
                      true -> [merkle_tree:get_root(Tree)]
                  end,
      p_check_node(Hashes, TreeNodes, [], [], []).
  
  %% @doc Helper for check_node/2.
  -spec p_check_node(Hashes::[merkle_cmp_request()], MyNodes::NodeList,
  