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.
Why is this class named PostVariableVisitor?