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