anchor.diff:      " You may then use -i to tell Concuerror to continue or use other options"
       " to filter out the reported errors, if you consider them acceptable"
       " behaviours.";
  +msg(reached_scheduling_bound) ->
  +  "Some interleavings were not considered due to schedule bounding.~n";
   msg(signal) ->
     "An abnormal exit signal was sent to a process. This is probably the worst"
       " thing that can happen race-wise, as any other side-effecting"
  
positive.code:   #scheduler_state{
       exploring = Exploring,
       logger = Logger,
       optimal = Optimal} = State,
    #trace_state{
       done = [#event{actor = EarlyActor}|Done],
       scheduling_bound = SchedulingBound,
  
negative.code:   insert_wakeup(Wakeup, NotDep, Exploring).
  
  insert_wakeup([], NotDep, Exploring) ->
    backtrackify(NotDep, Exploring);
  insert_wakeup([Node|Rest], NotDep, Exploring) ->
    #backtrack_entry{event = Event, origin = M, wakeup_tree = Deeper} = Node,
    case check_initial(Event, NotDep) of
  