anchor.diff:      RM_State = ?RM:init(Me, Pred, Succ),
       set_failuredetector(?RM:get_neighbors(RM_State)),
       NewState = {RM_State, false, SubscrTable},
  -    ?TRACE_STATE({null, null, null}, NewState),
  +    ?TRACE_STATE({null, null, null}, NewState, init),
       NewState.
   
   %% @doc Creates a state() object for a unit test.
  
positive.code:             call_subscribers(OldNeighborhood, NewNeighborhood, Reason, SubscrTable),
              update_failuredetector(OldNeighborhood, NewNeighborhood, null),
              NewState = {NewRM_State, HasLeft, SubscrTable},
              ?TRACE_STATE(_OldState, NewState),
              NewState
      end.
  
  
negative.code:     call_subscribers(OldNeighborhood, NewNeighborhood, Reason, SubscrTable),
      update_failuredetector(OldNeighborhood, NewNeighborhood, CrashedPid),
      NewState = {NewRM_State, HasLeft, SubscrTable},
      ?TRACE_STATE(_OldState, NewState, Reason),
      NewState.
  
  % @doc Subscribe all PIDs in the neighborhood with the failuredetector.
  