anchor.diff:            system             = []      :: [pid()],
             timeout                      :: timeout(),
             trace              = []      :: [trace_state()],
  -          treat_as_normal    = []      :: [atom()]
  +          treat_as_normal    = []      :: [atom()],
  +          warnings   = []              :: [concuerror_warning_info()]
            }).
   
   %% =============================================================================
  
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: 
  filter_warnings(State) ->
    #scheduler_state{
       ignore_error = Ignored,
       logger = Logger,
       warnings = UnfilteredWarnings
      } = State,
    filter_warnings(UnfilteredWarnings, Ignored, Logger).
  
  