anchor.diff:  
   filter_warnings(State) ->
     #scheduler_state{
  -     current_warnings = UnfilteredWarnings,
        ignore_error = Ignored,
  -     logger = Logger
  +     logger = Logger,
  +     warnings = UnfilteredWarnings
       } = State,
     filter_warnings(UnfilteredWarnings, Ignored, Logger).
   
  
positive.code:           assume_racing      = true    :: boolean(),
            bound_consumed     = 0       :: non_neg_integer(),
            current_graph_ref            :: 'undefined' | reference(),
            current_warnings   = []      :: [concuerror_warning_info()],
            depth_bound                  :: pos_integer(),
            entry_point                  :: mfargs(),
            exploring          = 1       :: integer(),
  
negative.code:   add_warnings([Warning], Trace, State).
  
  add_warnings(Warnings, Trace, State) ->
    #scheduler_state{warnings = OldWarnings} = State,
    State#scheduler_state{
      warnings = Warnings ++ OldWarnings,
      trace = Trace
     }.
  
  