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.
Please add some comments here with the rule that makes it incorrect during partial compilation. Most of the functionality in this class will be moved to the ```SymbolicUnifier``` later.