Added support for Choose expressions in the TESLA analyser.
These are compile-time constant conditionals created by the GCC
__builtin_choose_expr() builtin and commonly used within macros.