anchor.diff:            dpor                         :: concuerror_options:dpor(),
             entry_point                  :: mfargs(),
             first_process                :: pid(),
  -          ignore_error                 :: [interleaving_error_tag()],
  +          ignore_error                 :: [{interleaving_error_tag(), scope()}],
             interleaving_bound           :: concuerror_options:bound(),
             interleaving_errors          :: [interleaving_error()],
             interleaving_id              :: interleaving_id(),
  
positive.code:         {'depth_bound', concuerror_options:bound()} |
          'fatal'.
  
  %% DO NOT ADD A DEFAULT VALUE IF IT WILL ALWAYS BE OVERWRITTEN.
  %% Default values for fields should be specified in ONLY ONE PLACE.
  %% For e.g., user options this is normally in the _options module.
  
negative.code:        dpor = ?opt(dpor, Options),
         entry_point = EntryPoint,
         first_process = FirstProcess,
         ignore_error = [{IE, all} || IE <- ?opt(ignore_error, Options)],
         interleaving_bound = ?opt(interleaving_bound, Options),
         interleaving_errors = [],
         interleaving_id = 1,
  