Minor tweaks getting the theorem prover to compile again.
Minor tweaks getting the theorem prover to compile again.

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