Member predicate Modifiable :: isUnsafe
Holds if this declaration is unsafe
.
predicate
isUnsafe
(
)