@ ProgramNode (location: (1,0)-(4,3))
├── locals: []
└── statements:
    @ StatementsNode (location: (1,0)-(4,3))
    └── body: (length: 1)
        └── @ CaseNode (location: (1,0)-(4,3))
            ├── predicate:
            │   @ SymbolNode (location: (1,5)-(1,7))
            │   ├── opening_loc: (1,5)-(1,6) = ":"
            │   ├── value_loc: (1,6)-(1,7) = "a"
            │   ├── closing_loc: ∅
            │   └── unescaped: "a"
            ├── conditions: (length: 1)
            │   └── @ InNode (location: (2,0)-(3,4))
            │       ├── pattern:
            │       │   @ AlternationPatternNode (location: (2,3)-(2,8))
            │       │   ├── left:
            │       │   │   @ ConstantReadNode (location: (2,3)-(2,4))
            │       │   │   └── name: :B
            │       │   ├── right:
            │       │   │   @ ConstantReadNode (location: (2,7)-(2,8))
            │       │   │   └── name: :C
            │       │   └── operator_loc: (2,5)-(2,6) = "|"
            │       ├── statements:
            │       │   @ StatementsNode (location: (3,2)-(3,4))
            │       │   └── body: (length: 1)
            │       │       └── @ SymbolNode (location: (3,2)-(3,4))
            │       │           ├── opening_loc: (3,2)-(3,3) = ":"
            │       │           ├── value_loc: (3,3)-(3,4) = "d"
            │       │           ├── closing_loc: ∅
            │       │           └── unescaped: "d"
            │       ├── in_loc: (2,0)-(2,2) = "in"
            │       └── then_loc: ∅
            ├── consequent: ∅
            ├── case_keyword_loc: (1,0)-(1,4) = "case"
            └── end_keyword_loc: (4,0)-(4,3) = "end"
