two non-set tests fail in liquidhaskell