anchor.diff:        ?unique(Logger, ?linfo, msg(show_races), [])
     end.
   
  -insert_wakeup_non_optimal(Sleeping, Wakeup, Initials, Conservative, Origin) ->
  -  case existing(Sleeping, Initials) of
  +insert_wakeup_non_optimal(SleepSet, Wakeup, Initials, Conservative, Origin) ->
  +  case existing(SleepSet, Initials) of
       true -> skip;
       false -> add_or_make_compulsory(Wakeup, Initials, Conservative, Origin)
     end.
  
positive.code:      index = EarlyIndex,
       previous_actor = PreviousActor,
       scheduling_bound = BaseBound,
       sleeping = BaseSleeping,
       wakeup_tree = Wakeup
      } = TraceState,
    Bound = next_bound(SchedulingBoundType, AllDone, PreviousActor, BaseBound),
  
negative.code:           graph_ref        = make_ref() :: reference(),
            previous_actor   = 'none'     :: 'none' | actor(),
            scheduling_bound = infinity   :: concuerror_options:bound(),
            sleep_set        = []         :: [event()],
            wakeup_tree      = []         :: event_tree()
           }).
  
  