all tests pass on splitfix but why SO SLOW... progressive deterioration in performance since? niki added the abstract-refinement-check?
all tests pass on splitfix but why SO SLOW... progressive deterioration in performance since? niki added the abstract-refinement-check?

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