Member predicate Modifiable::isUnsafe

Holds if this declaration is unsafe.

predicate isUnsafe()