Program Slicing using Abstract Interpretation