anchor.diff:      "                exploration is too slow. Use 'optimal' if a lot of~n"
       "                interleavings are reported as sleep-set blocked.~n"
       "- 'persistent': Using persistent sets. Do not use."}
  -  ,{optimal, undefined, boolean,
  +  ,{optimal, [por], undefined, boolean,
       "Deprecated. Use '--dpor (optimal | source)' instead."}
  -  ,{scheduling_bound_type, $c, atom,
  +  ,{scheduling_bound_type, [bound], $c, atom,
       "Use schedule bounding [default: none]",
       "Enables scheduling rules that prevent interleavings from being explored."
       " The available options are:~n"
  
positive.code:       catch
          _:_ -> to_stderr("No additional help available.~n", [])
        end,
        to_stderr("For general help use '-h' without an argument.~n", [])
    end.
  
  cl_version() ->
    to_stderr("Concuerror v~s (~w)",[?VSN, ?GIT_SHA]).
  
  print_exit_status_info() ->
    Message =
  
negative.code: 
  add_missing_getopt_defaults(Opts) ->
    Defaults =
      [{element(?OPTION_KEY, Opt), element(?OPTION_GETOPT_DEFAULT, Opt)}
       || Opt <- options()],
    NoTestIfEntryPoint =
      case proplists:is_defined(entry_point, Opts) of
        true -> fun(X) -> X =/= test end;
  