anchor.diff:  
   %%------------------------------------------------------------------------------
   
  -log_trace(#scheduler_state{exploring = N, logger = Logger} = State) ->
  +log_trace(#scheduler_state{logger = Logger} = State) ->
     Log =
       case filter_errors(State) of
         [] -> none;
  
positive.code:           depth_bound                  :: pos_integer(),
            dpor                         :: concuerror_options:dpor(),
            entry_point                  :: mfargs(),
            exploring            = 1     :: integer(),
            first_process                :: pid(),
            ignore_error                 :: [interleaving_error_tag()],
            interleaving_bound           :: concuerror_options:bound(),
            interleaving_errors = []     :: [interleaving_error()],
            keep_going                   :: boolean(),
            logger                       :: pid(),
            last_scheduled               :: pid(),
            need_to_replay       = false :: boolean(),
            non_racing_system            :: [atom()],
            origin               = 1     :: integer(),
            print_depth                  :: pos_integer(),
            processes                    :: processes(),
            receive_timeout_total = 0    :: non_neg_integer(),
  
negative.code:       end;
      false ->
        NewAcc = [Entry|Acc],
        add_or_make_compulsory(Rest, Initials, Conservative, Origin, NewAcc)
    end.
  
  insert_wakeup_optimal(Sleeping, Wakeup, V, Bound, Origin) ->
    case has_initial(Sleeping, V) of
      true -> skip;
      false -> insert_wakeup(Wakeup, V, Bound, Origin)
    end.
  
  has_initial([Event|Rest], V) ->
  