Member predicate Member::Modifiable::isSealed

Holds if this declaration is sealed.

predicate isSealed()