Scaling Verification by Leveraging Parametrization