Abstract Interpretation Tool