Member predicate Modifiable::isProtected

Holds if this declaration is protected.

predicate isProtected()