Member predicate Modifiable::isInternal

Holds if this declaration is internal.

predicate isInternal()