Holds if this expression is (crudely) guarded by
Holds if the size of this use is guarded using
Holds if the size of this use is guarded to be greater than something.
Holds if the size of this use is guarded to be less than something.
Holds if the type of
Holds if overflow/underflow is irrelevant for this expression.
A prior use of the same variable that could see the same value.