WYONE: found yet more bugs, but none of them are solving my problem :(
WYONE: found yet more bugs, but none of them are solving my problem :(

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