Fixes invert_ssa.py (was broken after the removal of secpera).