(Modular) Regression Verification for APS