anchor.diff:       index = EarlyIndex,
        previous_actor = PreviousActor,
        scheduling_bound = BaseBound,
  -     sleeping = BaseSleeping,
  +     sleep_set = BaseSleepSet,
        wakeup_tree = Wakeup
       } = TraceState,
     Bound = next_bound(SchedulingBoundType, AllDone, PreviousActor, BaseBound),
  
positive.code:       end
    end.
  
  filter_sleeping([], AvailableActors) -> AvailableActors;
  filter_sleeping([#event{actor = Actor}|Sleeping], AvailableActors) ->
    NewAvailableActors =
      case ?is_channel(Actor) of
        true -> lists:keydelete(Actor, 1, AvailableActors);
        false -> lists:delete(Actor, AvailableActors)
      end,
    filter_sleeping(Sleeping, NewAvailableActors).
  
  schedule_sort([], _State) -> [];
  schedule_sort(Actors, State) ->
  
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()
           }).
  
  