Abstract Interpreter for Haskell's CoreSyntax (system FC)