anchor.diff:  
   % @doc Starts one resolve process per leaf node in a given node
   %      Returns: number of visited leaf nodes and number of leaf resovle requests.
  --spec resolve_node(Node | not_found, {Dest::RPid, SID, OwnerRemote::comm:erl_local_pid()})
  -        -> {Leafs::non_neg_integer(), ResolveReq::non_neg_integer()} when
  -    is_subtype(RPid,    comm:mypid()),
  -    is_subtype(Node,    merkle_tree:mt_node()),
  -    is_subtype(SID,     rrepair:session_id()).
  +-spec resolve_node(merkle_tree:mt_node() | not_found,
  +                   {Dest::comm:mypid(), rrepair:session_id(), OwnerRemote::comm:erl_local_pid()})
  +        -> {Leafs::non_neg_integer(), ResolveReq::non_neg_integer()}.
   resolve_node(not_found, _) -> {0, 0};
   resolve_node(Node, Conf) ->
       case merkle_tree:is_leaf(Node) of
  
positive.code:     end.
  
  % @doc Returns number ob caused resolve requests (requests with feedback count 2)
  -spec resolve_leaf(Node, {Dest::RPid, SID, OwnerRemote::comm:erl_local_pid()}) -> 1 | 2 when
      is_subtype(RPid,    comm:mypid()),
      is_subtype(Node,    merkle_tree:mt_node()),
      is_subtype(SID,     rrepair:session_id()).
  resolve_leaf(Node, {Dest, SID, OwnerL}) ->
      OwnerR = comm:make_global(OwnerL),
      case merkle_tree:get_item_count(Node) of
  
negative.code: %% art recon
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec art_recon(MyTree::merkle_tree:merkle_tree(), art:art(), state())
          -> rr_recon_stats:stats().
  art_recon(Tree, Art, #rr_recon_state{ dest_rr_pid = DestPid,
                                        ownerPid = OwnerL,
                                        stats = Stats }) ->
  