WyC: fixed test case which didn't have a main method.
WyC: fixed test case which didn't have a main method.

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