anchor.diff:            assume_racing     = true :: boolean(),
             current_warnings  = []   :: [concuerror_warning_info()],
             depth_bound              :: pos_integer(),
  -          first_process            :: {pid(), mfargs()},
  +          entry_point              :: mfargs(),
  +          first_process            :: pid(),
             ignore_error      = []   :: [atom()],
             logger                   :: pid(),
             last_scheduled           :: pid(),
  
positive.code: 
  replay_prefix(Trace, State) ->
    #scheduler_state{
       first_process = {FirstProcess, EntryPoint},
       processes = Processes,
       timeout = Timeout
      } = State,
  
negative.code:        ignore_first_crash = ?opt(ignore_first_crash,Options),
         assume_racing = ?opt(assume_racing,Options),
         depth_bound = ?opt(depth_bound, Options),
         entry_point = EntryPoint = ?opt(entry_point, Options),
         first_process = FirstProcess,
         ignore_error = ?opt(ignore_error, Options),
         last_scheduled = FirstProcess,
         logger = Logger = ?opt(logger, Options),
  