Characteristic predicate SSA::GlobalSsaVariable::GlobalSsaVariable

GlobalSsaVariable()