Characteristic predicate SSA::SsaVariable::SsaVariable

SsaVariable()