anchor.diff:  -spec check_setup_slide_not_found(State::dht_node_state:state(),
           Type::slide_op:type(), MyNode::node:node_type(),
           TargetNode::node:node_type(), TargetId::?RT:key())
  -        -> {CurrentNeighbors::nodelist:neighborhood(), Command::command()}.
  +        -> Command::command().
   check_setup_slide_not_found(State, Type, MyNode, TNode, TId) ->
       PredOrSucc = slide_op:get_predORsucc(Type),
       CanSlide = case PredOrSucc of
                      pred -> can_slide_pred(State, TId, Type);
                      succ -> can_slide_succ(State, TId, Type)
                  end,
  -    % correct pred/succ info? did pred/succ know our current ID (compare node info)
  +    % correct pred/succ info? did pred/succ know our current ID? -> compare node info
       Neighbors = dht_node_state:get(State, neighbors),
       NodesCorrect = MyNode =:= nodelist:node(Neighbors) andalso
                          TNode =:= nodelist:PredOrSucc(Neighbors),
  
positive.code:             % -> ignore this message
              State;
          not_found ->
              Neihb_Command = check_setup_slide_not_found(
                                State, Type, MyNode, TargetNode, TargetId),
              exec_setup_slide_not_found(
                Neihb_Command, State, MoveFullId, TargetNode, TargetId, Tag,
                MaxTransportEntries, SourcePid, MsgTag, NextOp);
          {wrong_neighbor, _PredOrSucc, SlideOp} -> % wrong pred or succ
              abort_slide(State, SlideOp, wrong_pred_succ_node, true)
  
negative.code:                 State1 = dht_node_state:set_slide(State, PredOrSucc, null),
                  Command = {ok, slide_op:get_type(SlideOp1)},
                  exec_setup_slide_not_found(
                    Command, State1, MoveFullId, slide_op:get_node(SlideOp1),
                    slide_op:get_target_id(SlideOp1), slide_op:get_tag(SlideOp1),
                    OtherMTE, slide_op:get_source_pid(SlideOp1), my_mte, {none})
          end,
  