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