Member predicate Modifiable::isDefault

Holds if this element has a default modifier.

predicate isDefault()