Language.Haskell.Liquid.Bare.Check

checkGhcSpec

checkDefAsserts

checkTerminationExpr

checkTy