anchor.diff:        add_or_make_compulsory(Rest, Initials, Conservative, Origin, NewAcc)
     end.
   
  -insert_wakeup_optimal(Sleeping, Wakeup, V, Bound, Origin) ->
  -  case has_initial(Sleeping, V) of
  +insert_wakeup_optimal(SleepSet, Wakeup, V, Bound, Origin) ->
  +  case has_initial(SleepSet, V) of
       true -> skip;
       false -> insert_wakeup(Wakeup, V, Bound, Origin)
     end.
  
positive.code: free_schedule_1(_Event, [], State) ->
    %% Nothing to do, trace is completely explored
    #scheduler_state{logger = _Logger, trace = [Last|_]} = State,
    #trace_state{actors = Actors, sleeping = Sleeping} = Last,
    NewErrors =
      case Sleeping =/= [] of
        true ->
          ?debug(_Logger, "Sleep set block:~n ~p~n", [Sleeping]),
          [{sleep_set_block, {State#scheduler_state.origin, Sleeping}}];
        false ->
          case concuerror_callback:collect_deadlock_info(Actors) of
            [] -> [];
  
negative.code:                   true -> Initials;
                    false -> false
                  end,
                {insert_wakeup_non_optimal(SleepSet, Wakeup, Initials, false, Origin), AddCons}
            end,
          case is_atom(Plan) of
            true -> NW;
  