WyC: framework is now in place for implementing the conversion.
WyC: framework is now in place for implementing the conversion.

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