Bench reestablished

Expressions that are the condition of an if or while can be annotated by "ex:likely" or "ex:unlikely" labels.
This is extracted to GCC __builtin_expect calls.
As this does not impact correctness, nothing is verified.

Preparing for the new command line.

in preparation of command-line option --mono

Support for recursive extraction and qualified names