Holds if this member is sealed
.
predicate
isSealed
(
)