fix unsoundness bug in Equality#isFalse
fix Yilong's comment
add isNormal function + use it to exit quickly from unification
fix copyright
fix Andrei's comment
Merge pull request #1195 from dwightguth/prover

fix two unsoundness bugs in prover