Member predicate Expr::ComprehensionExpr::isImpure

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

predicate isImpure()