Language.Haskell.Liquid.TransformRec
transformRecExpr
transformScope