Approximated Context-Sensitive Analysis for Parameterized Verification.