Match generator updates and API changes
SSA Variables and new graph api * Support SSARegisters, SSAVariables, and Variables in the grapher * Support SSAVariables in the match generator * Update to use newly fixed graph display api
SSA Variables and new graph api * Support SSARegisters, SSAVariables, and Variables in the grapher * Support SSAVariables in the match generator * Update to use newly fixed graph display api