anchor.diff:             db_range=DBRange, monitor_proc=MonitorProc, prbr_kv_db=PRBRState,
              txid_db1=TxIdDB1, txid_db2=TxIdDB2, txid_db3=TxIdDB3, txid_db4=TxIdDB4,
              lease_db1=LeaseDB1, lease_db2=LeaseDB2, lease_db3=LeaseDB3, lease_db4=LeaseDB4, lease_list=LeaseList,
  -		   snapshot_state=SnapState, mr_state=MRState}, Key) ->
  +		   snapshot_state=SnapState, mr_state=MRState} = State, Key) ->
       case Key of
           rt           -> RT;
           rt_size      -> ?RT:get_size(RT);
  
positive.code:         my_range     -> Neighbors = rm_loop:get_neighbors(RMState),
                          nodelist:node_range(Neighbors);
          db_range     -> DBRange;
          succ_range   -> Neighbors = rm_loop:get_neighbors(RMState),
                          nodelist:succ_range(Neighbors);
          msg_fwd      -> MsgFwdPred = slide_op:get_msg_fwd(SlidePred),
  
negative.code:          (state(), my_range) -> intervals:interval();
           (state(), db_range) -> [{intervals:interval(), slide_op:id()}];
           (state(), succ_range) -> intervals:interval();
           (state(), full_range) -> intervals:interval();
           (state(), join_time) -> erlang_timestamp();
           (state(), db) -> db_dht:db();
           (state(), tx_tp_db) -> any();
  