Holds if this member is sealed.
predicate
isSealed
(
)