Flag discrete ranges that are a part of an index constraint, constrained
array definition, or
for-loop parameter specification, and whose bounds
are both of type universal_integer. Ranges that have at least one
bound of a specific type (such as
1 .. N, where
N is a variable
or an expression of non-universal type) are not flagged.
This rule has no parameters.