Member predicate Modifiable :: isNew
Holds if this declaration has the modifier new
.
predicate
isNew
(
)