anchor.diff:    #concuerror_info{
        after_timeout = AfterTimeout,
        ets_tables = EtsTables,
  +     group_leader = GroupLeader,
        links = Links,
        logger = Logger,
        modules = Modules,
  
positive.code:       NewEvent = Event#event{special = {message, MessageEvent}},
        {true, Info#concuerror_info{next_event = NewEvent}}
    end;
  
  run_built_in(erlang, halt, _, _, Info) ->
    #concuerror_info{next_event = Event} = Info,
  
negative.code:   #concuerror_info{
       after_timeout = AfterTimeout,
       ets_tables = EtsTables,
       group_leader = GroupLeader,
       links = Links,
       logger = Logger,
       modules = Modules,
  