Holds if this expression is impure, that is, its evaluation could have side effects.
predicate
isImpure
(
)