Language.Haskell.Liquid.Bare.Expand

expandReft

expandPred

expandExpr