[
 (stmt_list) {
  (switch_statement) {
   switch
   (
   a
   )
   (switch_statement_body) {
    {
    }
   }
  }
  (empty_statement) {
   ;
  }
 }
]