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