anchor.diff:              end,
               NewRT
               ;
  -        false -> IntermediateRT
  +        false ->
  +            add_fd(IntermediateRT),
  +            IntermediateRT
       end
       .
   
  
positive.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
      .
  
negative.code:             end, Spacings)
      ),
      FilteredNode = rt_entry_node(FilterEntry),
      entry_delete(node:id(FilteredNode), RT)
      .
  
  