Characteristic predicate SsaDefinition :: SsaDefinition
SsaDefinition
(
)