Member predicate Modifiable :: isAbstract
Holds if this declaration is abstract
.
predicate
isAbstract
(
)