Check flow-sensitive bounds declarations within their extents

[dtarditi]

For every top-level statement within the extent of a flow-sensitive bounds declaration, we need to check that the statement maintains the declared flow-sensitive bounds.