Member predicate Expr::Property::isImpure

Holds if this property is impure, that is, the evaluation of its name or its initializer expression could have side effects.

predicate isImpure()