Language.Haskell.Liquid.Transforms.RefSplit
splitXRelatedRefs