WYONE: mirroed bug fix in wyone examples.
WYONE: mirroed bug fix in wyone examples.

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