WYCS: working on getting more the tests which already worked to work again.
WYCS: working on getting more the tests which already worked to work again.

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