anchor.diff:                          true  -> get_succ_list_length() - length(nodelist:succs(Neighborhood));
                           false -> get_succ_list_length()
                       end,
  -                Message = {rm_buffer, Neighborhood, LastPredId, LastSuccId, RequestPredsMinCount, RequestSuccsMinCount},
  +                Message = {rm_buffer, Neighborhood, RequestPredsMinCount, RequestSuccsMinCount},
                   cs_send:send_to_group_member(node:pidX(Succ), ring_maintenance,
                                                Message),
                   case Pred =/= Succ of
  
positive.code:                 rm_beh:update_neighbors(Neighborhood),
                  TriggerState;
              false ->
                  LastPredId = node:id(lists:last(nodelist:preds(Neighborhood))),
                  LastSuccId = node:id(lists:last(nodelist:succs(Neighborhood))),
                  RequestPredsMinCount =
                      case nodelist:has_real_pred(Neighborhood) of
                          true  -> get_pred_list_length() - length(nodelist:preds(Neighborhood));
  
negative.code:     {init, Id::?RT:key(), Me::node_details:node_type(), Predecessor::node_details:node_type(), Successor::node:node_type()} |
      {trigger} |
      {cy_cache, Cache::nodelist:nodelist()} |
      {rm_buffer, OtherNeighbors::nodelist:neighborhood(), RequestPredsMinCount::non_neg_integer(), RequestSuccsMinCount::non_neg_integer()} |
      {rm_buffer_response, OtherNeighbors::nodelist:neighborhood()} |
      {zombie, Node::node:node_type()} |
      {crash, DeadPid::cs_send:mypid()} |
  