[m-dev.] Termination Analysis part 1.1

[Christopher Rodd SPEIRS]

> I don't mind what the options name are or whether --verbose-termination-errors
> implies --check-termination.  A short version of all options with really
> long names is a good idea.  For --verbose-termination-errors, I'd suggest
> `--verb-term-errs'.

How about --verbose-check-termination (--verb-chk-term)?  I feel that
then it makes more sense for --verbose-check-termination to imply
--check-termination, than for --verbose-termination-errors to imply
--check-termination.


Chris