Member predicate Expr::isPure

Holds if this expression is pure, that is, is its evaluation is guaranteed to be side effect-free.

predicate isPure()