anchor.diff:     State = #rr_resolve_state{operation = {interval_upd_my, I} = _Operation}) ->
       ?TRACE("RESOLVE - START~nOperation=~.2p~nState=~.2p",
              [_Operation, _Msg], State),
  +    ?ASSERT(State#rr_resolve_state.feedbackDestPid =:= undefined),
       ISec = intervals:intersection(MyI, I),
       NewState = State#rr_resolve_state{ my_range = MyI },
       case intervals:is_empty(ISec) of
           false -> case rrepair:select_sync_node(ISec, true) of
                        not_found ->
  -                         shutdown(resolve_abort, NewState);
  +                         shutdown(resolve_abort, NewState, undefined, [], []);
                        DKey ->
                            % TODO: keep trying to resolve the whole intersection
                            %       e.g. by removing each sync interval and
  
positive.code:                          %       own range -> choose merkle_tree instead
                           comm:send_local(pid_groups:get_my(rrepair),
                                           {request_sync, merkle_tree, DKey}),
                           shutdown(resolve_ok, NewState)
                   end;
          true  -> shutdown(resolve_abort, NewState)
      end;
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code:          operation      = undefined    									:: undefined | operation(),
           my_range       = undefined                                     :: undefined | intervals:interval(),
           feedbackDestPid= undefined                                     :: undefined | comm:mypid(),
           feedbackKvv    = []                                            :: kvv_list(),
           send_stats     = undefined                                     :: undefined | comm:mypid(),
           stats          = #resolve_stats{}                              :: stats()
           }).
  