WYC: battling with a bug related to the use of indirect method calls in boolean expressions.
WYC: battling with a bug related to the use of indirect method calls in boolean expressions.

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