Java Static Analyzer written in Haskell