Holds if this is a global variable.
predicate
isGlobal
(
)