Member predicate Variable::Field::isVolatile

Holds if this field is volatile.

predicate isVolatile()