Language.Haskell.Liquid.Bare.Check
checkGhcSpec
checkTerminationExpr
checkTy