Member predicate IfStmt::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()