anchor.diff:              end, Spacings)
       ),
       FilteredNode = rt_entry_node(FilterEntry),
  -    delete_fd(node:pidX(FilteredNode)),
       entry_delete(node:id(FilteredNode), RT)
       .
   
  
positive.code: 
          false -> LocalRT
      end,
      update_fd(LocalRT, NewRT),
      rt_loop:set_rt(State, NewRT)
      ;
  
  
negative.code:             end,
              % update failure detector:
              case ReportToFD of
                  true -> add_fd(NewRT);
                  _Else -> ok
              end
      end
  