fix two unsoundness bugs in prover

@andreistefanescu please review

One of these, the code was simply incorrect. The other (the one in Equality.isFalse) is not guaranteed to be correct during partial evaluation.