Pruning terms fixed: TODO @ListSplit@ + Pattern matching on expressions.
Pruning terms fixed: TODO @ListSplit@ + Pattern matching on expressions.

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell