Trying to add a new test case to WyCS for #366.  Git is getting in the way though
Merge branch 'master' of github.com:Whiley/WhileyCompiler
WyCS: working on support for parsing cast expressions for #366