Member predicate Field::isVolatile

Holds if this field is volatile.

predicate isVolatile()