anchor.diff:        Msg =
           "The option '--optimal' is deprecated."
           " Use '--dpor (optimal | source)' instead.",
  -      opt_error(Msg);
  +      opt_error(Msg, [], dpor);
       MaybeInfinity
         when
           MaybeInfinity =:= interleaving_bound;
  
positive.code:       {[], false} -> ?DEFAULT_VERBOSITY;
        {[], true} -> 0;
        {_, true} ->
          opt_error("'--verbosity' specified together with '--quiet'.");
        {N, false} -> lists:sum(N)
      end,
    Verbosity = min(SpecifiedVerbosity, ?MAX_VERBOSITY),
  
negative.code:       lists:foreach(fun(W) -> opt_warn(W, []) end, Warnings),
        compile_and_load(Rest, [File|Acc], Module, Options);
      {error, Error} ->
        opt_error(Error, [], file)
    end.
  
  %%%-----------------------------------------------------------------------------
  