Member predicate Modifiable::isNative

Holds if this element has a native modifier.

predicate isNative()