TESTING: added some test cases for switch statements in the VC generator.