Member predicate Expr::UnaryExpr::isImpure

Holds if this expression is impure, that is, its evaluation could have side effects.

predicate isImpure()