Predicate AV Rule 205::acceptableVolatile

predicate acceptableVolatile(Variable v)