fixes #41: empty SwitchStatement is permitted