Member predicate Modifiable::isAbstract

Holds if this declaration is abstract.

predicate isAbstract()