Characteristic predicate BaseSSA::BaseSsaUpdate::BaseSsaUpdate

BaseSsaUpdate()