Member predicate Expr::isPure

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