WYRL: ok, so it now compiles the logic example and runs it; however, it's not working mysteriously in one situation.
WYRL: ok, so it now compiles the logic example and runs it; however, it's not working mysteriously in one situation.

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