ucsd-progsys/liquid-fixpoint — pull request #5 by gridaphobe (2013-04-09 19:02:51+00:00)
Title: use `isContra` to check for false

we don't always get `PFalse`, even a simple use of `undefined` comes back as `0=1`