forgot to recompute the ssa in fault localization.