anchor.diff:        NewRest =
           case Value =/= bpor orelse proplists:is_defined(dpor, Acc ++ Rest) of
             true -> Rest;
  -          false ->
  -            Msg = "assuming '--dpor source'.",
  -            opt_warn(Msg, []),
  -            [{dpor, source}|Rest]
  +          false -> assume(dpor, source, Rest)
           end,
  -      finalize(NewRest, [Option|Acc]);
  +      NewRest1 =
  +        case proplists:is_defined(scheduling_bound, Acc ++ Rest) of
  +          true -> NewRest;
  +          false -> assume(scheduling_bound, 1, NewRest)
  +        end,
  +      finalize(NewRest1, [Option|Acc]);
       MaybeInfinity
         when
           MaybeInfinity =:= interleaving_bound;
  
positive.code:   put(warnings, [io_lib:format(Format ++ "~n", Data)|Warnings]),
    ok.
  
  get_all_warnings() ->
    case erase(warnings) of
      undefined -> [];
  
negative.code:       check_validity(Key, Value, [newest, oldest, round_robin]),
        finalize(Rest, [Option|Acc]);
      scheduling_bound ->
        ValidityCheck = {fun(V) -> V >= 0 end, "a non-negative integer"},
        check_validity(Key, Value, ValidityCheck),
        NewRest =
          case proplists:is_defined(scheduling_bound_type, Acc ++ Rest) of
            true -> Rest;
            false -> assume(scheduling_bound_type, simple, Rest)
          end,
        finalize(NewRest, [Option|Acc]);
      scheduling_bound_type ->
  