Provides classes and predicates for SSA representation (Static Single Assignment form).
A definition of one or more SSA variables, including phi node definitions. An SSA variable, as defined in the literature, is effectively the pair of an
The SSA logic comes in two versions: the standard SSA and range-analysis RangeSSA. This class provides the standard SSA logic.