Characteristic predicate Variables::GlobalVariable::GlobalVariable

GlobalVariable()