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....