hmm. why are abstract predicates being ignored for tests/neg/StrictPair1.hs
shuffling StrictPair tests to neg