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