Member predicate Modifiable::isSealed

Holds if this declaration is sealed.

predicate isSealed()