Member predicate Variable :: isVolatile
Holds if this variable is volatile
.
predicate
isVolatile
(
)