Characteristic predicate GlobalVariable :: GlobalVariable
GlobalVariable
(
)