ucsd-progsys/liquidhaskell — pull request #173 by nikivazou (2014-01-11 02:03:44+00:00)
Title: Checking well-formedness of abstract predicate expressions

Turns out that if an abstract predicate expression was malformed,
ie., `test/crash/Unbound.hs`
liquidHaskell will prune it (via prunning unsorted refinements)
leading to unsoundness....