WYONE: added specific notion of an equation to the theorem prover logic.
WYONE: added specific notion of an equation to the theorem prover logic.

Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler