anchor.diff:  action_analyze([{Opt, _} | _Args], _Options)
           when (Opt =:= 't') orelse (Opt =:= '-target') ->
       %% Found --target option with wrong parameters
  -    io:format("~s: wrong number of arguments for option -~s\n",
  -        [?APP_STRING, Opt]),
  -    init:stop(1);
  +    wrongArgument('number', Opt);
   action_analyze([{Opt, []} | _Args], _Options)
           when (Opt =:= 'f') orelse (Opt =:= '-files') ->
       %% Found --files options without parameters
  -    io:format("~s: wrong number of arguments for option -~s\n",
  -        [?APP_STRING, Opt]),
  -    init:stop(1);
  +    wrongArgument('number', Opt);
   action_analyze([{Opt, Files} | Args], Options)
           when (Opt =:= 'f') orelse (Opt =:= '-files') ->
       %% Found --files option
  
positive.code: action_analyze([{Opt, _Files} | _Args], _Options)
          when (Opt =:= 'o') orelse (Opt =:= '-output') ->
      %% Found --output option with wrong parameters
      io:format("~s: wrong number of arguments for option -~s\n",
          [?APP_STRING, Opt]),
      init:stop(1);
  action_analyze([{Opt, [Preb]} | Args], Options)
          when (Opt =:= 'p') orelse (Opt =:= '-preb') ->
      %% Found --preb option
  
negative.code: %% the progress in per cent,
  %% the number of interleaving contained in this preemption number,
  %% the number of errors we have found so far.
  -type progress() :: {non_neg_integer(), non_neg_integer(),
                       non_neg_integer(), non_neg_integer()}.
  
  -type state() :: {progress() | 'noprogress',
                    'log' | 'nolog'}.
  
  %% Command line options
  -type options() ::
  