WYCS: minor bug fix, although I'm still down a couple of tests which aren't passing ??
WYCS: minor bug fix, although I'm still down a couple of tests which aren't passing ??

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