use `isContra` to check for false

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