WyC: working on the issue of protected visibility, which is complicated.
WyC: working on the issue of protected visibility, which is complicated.

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