Member predicate Access::mayBeImpure
Holds if it is possible that the expression may be impure. If we are not sure, then it holds.
predicate mayBeImpure()
Holds if it is possible that the expression may be impure. If we are not sure, then it holds.
predicate mayBeImpure()