Member predicate Modifiable::isNew

Holds if this declaration has the modifier new.

predicate isNew()