Abstract Interpretation Framework written in Haskell