Minor bug fix for bindary condition operators.  Currently have 77 / 366 failing tests.
Minor bug fix for bindary condition operators.  Currently have 77 / 366 failing tests.

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