Member predicate Variable::isVolatile

Holds if this variable is volatile.

predicate isVolatile()