:Select Statement

 
       │
       :Select aexp
       │
       │←──────────────────────────────────────────────┐
       │                                               │
       ├───────┬───────┬───────────────┐               │
       │       │       │               │               │
       │       :Else   :Case aexp      :CaseList aexp  │
       │       │       │               │               │
       │       │       │←──────────────┘               │
       │       │       │                               │
       │       code    code                            │
       │       │       │                               │
       │←──────┘       └───────────────────────────────┘
       │
       :End[Select]