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:               lists:append(merkle_tree:get_childs(Node), Rest), Skip, ToSyncAcc)
      end.
  
  %% @doc Starts a single resolve request for all given leave nodes by joining
  %%      their intervals.
  %%      Returns the number of resolve requests (requests with feedback count 2).
  -spec resolve_leaves([merkle_tree:mt_node()], Dest::comm:mypid(),
  
negative.code:                 end,
      p_process_tree_cmp_result(CmpResult, TreeNodes, BranchSize, NStats, [], [], []).
  
  %% @doc Helper for process_tree_cmp_result/4.
  -spec p_process_tree_cmp_result([merkle_cmp_result()], RestTree, BranchSize,
                                  Stats, Acc::Req, Acc::Res, AccRTree::Res)
          -> {Req, Res, Stats, RestTree::Res}
  