Language.Haskell.Liquid.GhcInterface

extract all information needed for verification

getGhcInfo