Member predicate ForStmt::mayBeImpure
Holds if it is possible that this statement is impure. If we are not sure, then it holds.
predicate mayBeImpure()
Holds if it is possible that this statement is impure. If we are not sure, then it holds.
predicate mayBeImpure()