WyC: Updated some test cases
Merge branch 'master' of github.com:Whiley/WhileyCompiler