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