anchor.diff:    add_warnings([Warning], Trace, State).
   
   add_warnings(Warnings, Trace, State) ->
  -  #scheduler_state{current_warnings = OldWarnings} = State,
  +  #scheduler_state{warnings = OldWarnings} = State,
     State#scheduler_state{
  -    current_warnings = Warnings ++ OldWarnings,
  +    warnings = Warnings ++ OldWarnings,
       trace = Trace
      }.
   
  
positive.code:           system             = []      :: [pid()],
            timeout                      :: timeout(),
            trace              = []      :: [trace_state()],
            treat_as_normal    = []      :: [atom()]
           }).
  
  %% =============================================================================
  
negative.code:           ok
        end,
        NextExploring = N + 1,
        NextState = State#scheduler_state{exploring = N + 1, warnings = []},
        case NextExploring =< State#scheduler_state.interleaving_bound of
          true -> NextState;
          false ->
  