Inspect and normalize our specification of undefined behavior

[BenBrock]

We must ensure we distinguish between two kinds of UB:

1. UB where the behavior of the program is undefined

2. UB where the state of an object, value returned from a function are undefined.