Decidable -- Refining Abstract Interpretation-Based Static Analyses with