Member predicate Expr::FunctionSentExpr::isImpure

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

predicate isImpure()