Member predicate Modifiable :: isProtected
Holds if this declaration is protected
.
predicate
isProtected
(
)