anchor.diff:    #scheduler_state{
        exploring = Exploring,
        logger = Logger,
  -     optimal = Optimal} = State,
  +     optimal = Optimal
  +    } = State,
     #trace_state{
        done = [#event{actor = EarlyActor}|Done],
        scheduling_bound = SchedulingBound,
  
positive.code:     " 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(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"
  
negative.code:      current_warnings = UnfilteredWarnings,
       exploring = N,
       ignore_error = Ignored,
       logger = Logger
      } = State,
    Warnings = filter_warnings(UnfilteredWarnings, Ignored, Logger),
    Log =
      case Warnings =:= [] of
  