Member predicate Modifiable :: isRequired
Holds if this declaration has the modifier required
.
predicate
isRequired
(
)