anchor.diff:      [ 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
  
positive.code:       Error = "Malformed option: ~w",
        opt_error(Error, [T], input)
    end.
  
  %%%-----------------------------------------------------------------------------
  
  
negative.code:     "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,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"
  