anchor.diff:              _ when not NodesCorrect -> {abort, wrong_pred_succ_node, Type};
               _ -> {ok, move_done} % MoveDone, i.e. target id already reached (noop)
           end,
  -    {Neighbors, Command}.
  +    Command.
   
   %% @doc Creates a new slide operation with the node's successor or
   %%      predecessor and the given parameters according to the command created
   %%      by check_setup_slide_not_found/5.
   %%      Note: assumes that such a slide does not already exist.
   -spec exec_setup_slide_not_found(
  -        {CurrentNeighbors::nodelist:neighborhood(), Command::command()},
  +        Command::command(),
           State::dht_node_state:state(), MoveFullId::slide_op:id(),
           TargetNode::node:node_type(), TargetId::?RT:key(), Tag::any(),
           OtherMaxTransportEntries::unknown | pos_integer(),
           SourcePid::comm:erl_local_pid() | null,
           MsgTag::nomsg | slide | slide_get_mte | slide_w_mte | delta_ack | change_id | my_mte | change_op,
           NextOp::slide_op:next_op()) -> dht_node_state:state().
  -exec_setup_slide_not_found({Neighbors, Command}, State, MoveFullId, TargetNode,
  +exec_setup_slide_not_found(Command, State, MoveFullId, TargetNode,
                              TargetId, Tag, OtherMTE, SourcePid, MsgTag, NextOp) ->
  +    Neighbors = dht_node_state:get(State, neighbors),
       % note: NewType (inside the command) may be different than the initially planned type
       case Command of
           {abort, Reason, OrigType} ->
  
positive.code:                 State1 = dht_node_state:set_slide(State, succ, null),
                  Command = {ok, slide_op:get_type(SlideOp1)},
                  exec_setup_slide_not_found(
                    {dht_node_state:get(State1, neighbors), Command}, State1,
                    slide_op:get_id(SlideOp1), slide_op:get_node(SlideOp1), TargetId,
                    slide_op:get_tag(SlideOp1), slide_op:get_other_max_entries(SlideOp1),
                    slide_op:get_source_pid(SlideOp1), change_id, NextOp)
          end,
      safe_operation(WorkerFun, MyState, MoveFullId, [wait_for_change_id], succ, change_id);
  
negative.code: 
  %% @author Nico Kruber <kruber@zib.de>
  %% @doc    dht_node move procedure
  %%         Note: assumes that the neighborhood does not change during the
  %%         handling of a message.
  %% @end
  %% @version $Id$
  -module(dht_node_move).
  