WYC: Still working through a refactoring to reduce number of Code.Assigns generated.
WYC: Still working through a refactoring to reduce number of Code.Assigns generated.

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