Member predicate PropertyPattern::isImpure

Holds if this pattern is impure, that is, if its evaluation could have side effects.

predicate isImpure()