anchor.diff:                      true
               end,
   
  -            #state{trace=[], previous_trace=Lines, replay=true, shrinking=Shrinking, blocked_processes=[], identifier=undefined}
  +            #state{enabled=false, trace=[], previous_trace=Lines, replay=true, shrinking=Shrinking, blocked_processes=[], identifier=undefined}
       end.
   
   %% @private
  
positive.code: %% @private
  -spec handle_call(term(), {pid(), term()}, #state{}) ->
      {reply, term(), #state{}}.
  handle_call({trace, Type, Message}, _From, #state{trace=Trace0}=State) ->
      {reply, ok, State#state{trace=Trace0++[{Type, Message}]}};
  handle_call({replay, Type, Message}, From, #state{previous_trace=PreviousTrace0, replay=Replay, shrinking=Shrinking, blocked_processes=BlockedProcesses0}=State) ->
  
negative.code: 
  -record(state, {previous_trace=[],
                  trace=[], 
                  enabled=false,
                  replay=false,
                  shrinking=false,
                  blocked_processes=[],
  