anchor.diff:             recipient = Pid,
              type = exit_signal},
         NewEvent = Event#event{special = [{message, MessageEvent}]},
  -      {true, Info#concuerror_info{next_event = NewEvent}}
  +      {true, Info#concuerror_info{event = NewEvent}}
     end;
   
   run_built_in(erlang, group_leader, 0, [],
  
positive.code:   run_built_in(erlang, spawn_opt, 1, [{M, F, Args, [link]}], Info);
  run_built_in(erlang, spawn_opt, 1, [{Module, Name, Args, SpawnOpts}], Info) ->
    #concuerror_info{
       next_event = Event,
       processes = Processes,
       timeout = Timeout} = Info,
    #event{event_info = EventInfo} = Event,
  
negative.code: 
  %%------------------------------------------------------------------------------
  
  add_location_info(Location, #concuerror_info{event = Event} = Info) ->
    Info#concuerror_info{event = Event#event{location = Location}}.
  
  set_status(#concuerror_info{processes = Processes} = Info, Status) ->
    MaybeDropName =
  