Holds if this is a local type (that is, a type that has a directly-enclosing function).
predicate
isLocal
(
)