anchor.diff:        lists:foreach(fun(W) -> opt_warn(W, []) end, Warnings),
         compile_and_load(Rest, [File|Acc], Module, Options);
       {error, Error} ->
  -      opt_error(Error)
  +      opt_error(Error, [], file)
     end.
   
   %%%-----------------------------------------------------------------------------
  
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:       Msg =
          "The option '--optimal' is deprecated."
          " Use '--dpor (optimal | source)' instead.",
        opt_error(Msg, [], dpor);
      MaybeInfinity
        when
          MaybeInfinity =:= interleaving_bound;
  