FSA: More Verification Fixes on the Horizon