Data.Map.Base is safe with termination turned on too.
Data.Map.Base is safe with termination turned on too.

Really need to sort out the transformRecExpr issue so we can make Base
less hacky

mightymoose/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell,Kyly/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,mightymoose/liquidhaskell,Kyly/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell,rolph-recto/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,rolph-recto/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,mightymoose/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell