kframework/k — pull request #1195 by dwightguth (2014-11-19 19:17:21+00:00)
Title: 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.