Member predicate PropertyPattern :: isImpure
Holds if this pattern is impure, that is, if its evaluation could have side effects.
predicate
isImpure
(
)