anchor.diff:  
   % exports for unit tests
   -export([check_rt_integrity/1
  +        , check_well_connectedness/1
           , get_random_key_from_generator/3
       ]).
   
  
positive.code:             Pid = pid_groups:get_my(dht_node),
              case Pid of
                  failed -> ok;
                  _E     -> RTExt = export_rt_to_dht_node(NewRT, NewNeighbors),
                            comm:send_local(Pid, {rt_update, RTExt})
              end,
              % update failure detector:
              case ReportToFD of
  
negative.code: filter_dead_node(RT, DeadPid) -> 
      % find the node id of DeadPid and delete it from the RT
      case [N || N <- internal_to_list(RT), node:pidX(N) =:= DeadPid] of
          [Node] -> entry_delete(node:id(Node), RT);
          [] -> RT
      end
      .
  %% userdevguide-end rt_frtchord:filter_dead_node
  