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.
it was left over from before the rename of the outer class. Good catch.