anchor.diff:      "Assume that messages and signals are delivered immediately, when sent to a"
       " process on the same node."}
     ,{use_receive_patterns, [erlang, experimental], undefined, {boolean, false},
  -    "Use receive patterns for racing sends",
  +    "* Use receive patterns for racing sends",
       "Experimental. If true, Concuerror will only consider two"
       " message deliveries as racing when the first message is really"
       " received and the patterns used could also match the second"
  
positive.code:   [T || T <- options(), lists:member(Keyword, element(?OPTION_KEYWORDS, T))].
  
  print_suffix(Keyword) ->
    to_stderr("More info & keywords about a specific option: -h <option>.~n"),
    case Keyword =:= basic orelse Keyword =:= all of
      true -> print_exit_status_info();
  
negative.code:     "Deprecated. Use '--dpor (optimal | source)' instead.",
      nolong}
    ,{scheduling_bound_type, [bound, experimental], $c, {atom, none},
      "* Schedule bounding technique",
      "Enables scheduling rules that prevent interleavings from being explored."
      " The available options are:~n"
      "-   'none': no bounding~n"
  