@ ProgramNode (location: (0...24))
├── locals: [:c]
└── statements:
    @ StatementsNode (location: (0...24))
    └── body: (length: 1)
        └── @ CaseNode (location: (0...24))
            ├── predicate:
            │   @ SymbolNode (location: (5...7))
            │   ├── opening_loc: (5...6) = ":"
            │   ├── value_loc: (6...7) = "a"
            │   ├── closing_loc: ∅
            │   └── unescaped: "a"
            ├── conditions: (length: 1)
            │   └── @ InNode (location: (8...20))
            │       ├── pattern:
            │       │   @ ArrayPatternNode (location: (11...15))
            │       │   ├── constant:
            │       │   │   @ ConstantReadNode (location: (11...12))
            │       │   │   └── name: :B
            │       │   ├── requireds: (length: 1)
            │       │   │   └── @ LocalVariableTargetNode (location: (13...14))
            │       │   │       ├── name: :c
            │       │   │       └── depth: 0
            │       │   ├── rest: ∅
            │       │   ├── posts: (length: 0)
            │       │   ├── opening_loc: (12...13) = "["
            │       │   └── closing_loc: (14...15) = "]"
            │       ├── statements:
            │       │   @ StatementsNode (location: (18...20))
            │       │   └── body: (length: 1)
            │       │       └── @ SymbolNode (location: (18...20))
            │       │           ├── opening_loc: (18...19) = ":"
            │       │           ├── value_loc: (19...20) = "d"
            │       │           ├── closing_loc: ∅
            │       │           └── unescaped: "d"
            │       ├── in_loc: (8...10) = "in"
            │       └── then_loc: ∅
            ├── consequent: ∅
            ├── case_keyword_loc: (0...4) = "case"
            └── end_keyword_loc: (21...24) = "end"
