anchor.diff:      "Messages and signals arrive instantly",
       "Assume that messages and signals are delivered immediately, when sent to a"
       " process on the same node."}
  -  ,{use_receive_patterns, [erlang], undefined, {boolean, true},
  +  ,{use_receive_patterns, [erlang,por,advanced], undefined, {boolean, true},
       "Use receive patterns for racing sends",
       "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"
       " message."}
  +  ,{observers, [erlang,por,advanced], undefined, boolean,
  +    "Synonym of --use_receive_patterns",
  +    nolong}
     ,{scheduling, [advanced], undefined, {atom, round_robin},
       "Scheduling order",
       "How Concuerror picks the next process to run. The available options are"
  
positive.code:       Error = "Malformed option: ~w",
        opt_error(Error, [T], input)
    end.
  
  %%%-----------------------------------------------------------------------------
  
  
negative.code:     [ fun proplists:unfold/1
      , fun set_verbosity/1
      , fun assert_tuples/1
      , fun fix_synonyms/1
      , fun open_files/1
      , fun add_to_path/1
      , fun add_missing_file/1
  