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