WyC: bug fix for an interesting piece of code which appears now to be redundant.
WyC: bug fix for an interesting piece of code which appears now to be redundant.

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