@ ProgramNode (location: (0...188))
├── locals: [:foo, :a]
└── statements:
    @ StatementsNode (location: (0...188))
    └── body: (length: 7)
        ├── @ UntilNode (location: (0...13))
        │   ├── keyword_loc: (2...7) = "until"
        │   ├── closing_loc: ∅
        │   ├── predicate:
        │   │   @ CallNode (location: (8...13))
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── message_loc: (8...10) = "b?"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   ├── block:
        │   │   │   @ BlockNode (location: (11...13))
        │   │   │   ├── locals: []
        │   │   │   ├── parameters: ∅
        │   │   │   ├── body: ∅
        │   │   │   ├── opening_loc: (11...12) = "{"
        │   │   │   └── closing_loc: (12...13) = "}"
        │   │   ├── flags: ∅
        │   │   └── name: "b?"
        │   ├── statements:
        │   │   @ StatementsNode (location: (0...1))
        │   │   └── body: (length: 1)
        │   │       └── @ CallNode (location: (0...1))
        │   │           ├── receiver: ∅
        │   │           ├── call_operator_loc: ∅
        │   │           ├── message_loc: (0...1) = "a"
        │   │           ├── opening_loc: ∅
        │   │           ├── arguments: ∅
        │   │           ├── closing_loc: ∅
        │   │           ├── block: ∅
        │   │           ├── flags: variable_call
        │   │           └── name: "a"
        │   └── flags: ∅
        ├── @ UntilNode (location: (15...34))
        │   ├── keyword_loc: (15...20) = "until"
        │   ├── closing_loc: (31...34) = "end"
        │   ├── predicate:
        │   │   @ CallNode (location: (21...26))
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── message_loc: (21...23) = "b?"
        │   │   ├── opening_loc: ∅
        │   │   ├── arguments: ∅
        │   │   ├── closing_loc: ∅
        │   │   ├── block:
        │   │   │   @ BlockNode (location: (24...26))
        │   │   │   ├── locals: []
        │   │   │   ├── parameters: ∅
        │   │   │   ├── body: ∅
        │   │   │   ├── opening_loc: (24...25) = "{"
        │   │   │   └── closing_loc: (25...26) = "}"
        │   │   ├── flags: ∅
        │   │   └── name: "b?"
        │   ├── statements:
        │   │   @ StatementsNode (location: (29...30))
        │   │   └── body: (length: 1)
        │   │       └── @ CallNode (location: (29...30))
        │   │           ├── receiver: ∅
        │   │           ├── call_operator_loc: ∅
        │   │           ├── message_loc: (29...30) = "a"
        │   │           ├── opening_loc: ∅
        │   │           ├── arguments: ∅
        │   │           ├── closing_loc: ∅
        │   │           ├── block: ∅
        │   │           ├── flags: variable_call
        │   │           └── name: "a"
        │   └── flags: ∅
        ├── @ WhileNode (location: (36...55))
        │   ├── keyword_loc: (46...51) = "while"
        │   ├── closing_loc: ∅
        │   ├── predicate:
        │   │   @ LocalVariableReadNode (location: (52...55))
        │   │   ├── name: :foo
        │   │   └── depth: 0
        │   ├── statements:
        │   │   @ StatementsNode (location: (36...45))
        │   │   └── body: (length: 1)
        │   │       └── @ LocalVariableWriteNode (location: (36...45))
        │   │           ├── name: :foo
        │   │           ├── depth: 0
        │   │           ├── name_loc: (36...39) = "foo"
        │   │           ├── value:
        │   │           │   @ CallNode (location: (42...45))
        │   │           │   ├── receiver: ∅
        │   │           │   ├── call_operator_loc: ∅
        │   │           │   ├── message_loc: (42...45) = "bar"
        │   │           │   ├── opening_loc: ∅
        │   │           │   ├── arguments: ∅
        │   │           │   ├── closing_loc: ∅
        │   │           │   ├── block: ∅
        │   │           │   ├── flags: variable_call
        │   │           │   └── name: "bar"
        │   │           └── operator_loc: (40...41) = "="
        │   └── flags: ∅
        ├── @ UntilNode (location: (57...75))
        │   ├── keyword_loc: (59...64) = "until"
        │   ├── closing_loc: ∅
        │   ├── predicate:
        │   │   @ AndNode (location: (65...75))
        │   │   ├── left:
        │   │   │   @ CallNode (location: (65...66))
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── message_loc: (65...66) = "b"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   ├── block: ∅
        │   │   │   ├── flags: variable_call
        │   │   │   └── name: "b"
        │   │   ├── right:
        │   │   │   @ CallNode (location: (70...75))
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── message_loc: (70...71) = "a"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   ├── block:
        │   │   │   │   @ BlockNode (location: (72...75))
        │   │   │   │   ├── locals: []
        │   │   │   │   ├── parameters: ∅
        │   │   │   │   ├── body: ∅
        │   │   │   │   ├── opening_loc: (72...73) = "{"
        │   │   │   │   └── closing_loc: (74...75) = "}"
        │   │   │   ├── flags: ∅
        │   │   │   └── name: "a"
        │   │   └── operator_loc: (67...69) = "&&"
        │   ├── statements:
        │   │   @ StatementsNode (location: (57...58))
        │   │   └── body: (length: 1)
        │   │       └── @ CallNode (location: (57...58))
        │   │           ├── receiver: ∅
        │   │           ├── call_operator_loc: ∅
        │   │           ├── message_loc: (57...58) = "a"
        │   │           ├── opening_loc: ∅
        │   │           ├── arguments: ∅
        │   │           ├── closing_loc: ∅
        │   │           ├── block: ∅
        │   │           ├── flags: variable_call
        │   │           └── name: "a"
        │   └── flags: ∅
        ├── @ WhileNode (location: (77...96))
        │   ├── keyword_loc: (77...82) = "while"
        │   ├── closing_loc: (93...96) = "end"
        │   ├── predicate:
        │   │   @ LocalVariableWriteNode (location: (83...88))
        │   │   ├── name: :a
        │   │   ├── depth: 0
        │   │   ├── name_loc: (83...84) = "a"
        │   │   ├── value:
        │   │   │   @ CallNode (location: (87...88))
        │   │   │   ├── receiver: ∅
        │   │   │   ├── call_operator_loc: ∅
        │   │   │   ├── message_loc: (87...88) = "b"
        │   │   │   ├── opening_loc: ∅
        │   │   │   ├── arguments: ∅
        │   │   │   ├── closing_loc: ∅
        │   │   │   ├── block: ∅
        │   │   │   ├── flags: variable_call
        │   │   │   └── name: "b"
        │   │   └── operator_loc: (85...86) = "="
        │   ├── statements:
        │   │   @ StatementsNode (location: (91...92))
        │   │   └── body: (length: 1)
        │   │       └── @ LocalVariableReadNode (location: (91...92))
        │   │           ├── name: :a
        │   │           └── depth: 0
        │   └── flags: ∅
        ├── @ UntilNode (location: (98...130))
        │   ├── keyword_loc: (100...105) = "until"
        │   ├── closing_loc: ∅
        │   ├── predicate:
        │   │   @ CallNode (location: (106...130))
        │   │   ├── receiver: ∅
        │   │   ├── call_operator_loc: ∅
        │   │   ├── message_loc: (106...107) = "b"
        │   │   ├── opening_loc: (107...108) = "("
        │   │   ├── arguments:
        │   │   │   @ ArgumentsNode (location: (108...114))
        │   │   │   └── arguments: (length: 1)
        │   │   │       └── @ StringNode (location: (108...114))
        │   │   │           ├── opening_loc: (108...114) = "<<-FOO"
        │   │   │           ├── content_loc: (114...119) = ") do\n"
        │   │   │           ├── closing_loc: (119...123) = "FOO\n"
        │   │   │           └── unescaped: ""
        │   │   ├── closing_loc: (114...115) = ")"
        │   │   ├── block:
        │   │   │   @ BlockNode (location: (116...130))
        │   │   │   ├── locals: []
        │   │   │   ├── parameters: ∅
        │   │   │   ├── body:
        │   │   │   │   @ StatementsNode (location: (125...126))
        │   │   │   │   └── body: (length: 1)
        │   │   │   │       └── @ CallNode (location: (125...126))
        │   │   │   │           ├── receiver: ∅
        │   │   │   │           ├── call_operator_loc: ∅
        │   │   │   │           ├── message_loc: (125...126) = "c"
        │   │   │   │           ├── opening_loc: ∅
        │   │   │   │           ├── arguments: ∅
        │   │   │   │           ├── closing_loc: ∅
        │   │   │   │           ├── block: ∅
        │   │   │   │           ├── flags: variable_call
        │   │   │   │           └── name: "c"
        │   │   │   ├── opening_loc: (116...118) = "do"
        │   │   │   └── closing_loc: (127...130) = "end"
        │   │   ├── flags: ∅
        │   │   └── name: "b"
        │   ├── statements:
        │   │   @ StatementsNode (location: (98...99))
        │   │   └── body: (length: 1)
        │   │       └── @ LocalVariableReadNode (location: (98...99))
        │   │           ├── name: :a
        │   │           └── depth: 0
        │   └── flags: ∅
        └── @ ModuleNode (location: (132...188))
            ├── locals: [:foo]
            ├── module_keyword_loc: (132...138) = "module"
            ├── constant_path:
            │   @ ConstantReadNode (location: (139...140))
            │   └── name: :A
            ├── body:
            │   @ StatementsNode (location: (143...184))
            │   └── body: (length: 2)
            │       ├── @ LocalVariableWriteNode (location: (143...152))
            │       │   ├── name: :foo
            │       │   ├── depth: 0
            │       │   ├── name_loc: (143...146) = "foo"
            │       │   ├── value:
            │       │   │   @ CallNode (location: (149...152))
            │       │   │   ├── receiver: ∅
            │       │   │   ├── call_operator_loc: ∅
            │       │   │   ├── message_loc: (149...152) = "exp"
            │       │   │   ├── opening_loc: ∅
            │       │   │   ├── arguments: ∅
            │       │   │   ├── closing_loc: ∅
            │       │   │   ├── block: ∅
            │       │   │   ├── flags: variable_call
            │       │   │   └── name: "exp"
            │       │   └── operator_loc: (147...148) = "="
            │       └── @ WhileNode (location: (155...184))
            │           ├── keyword_loc: (155...160) = "while"
            │           ├── closing_loc: (181...184) = "end"
            │           ├── predicate:
            │           │   @ LocalVariableReadNode (location: (161...164))
            │           │   ├── name: :foo
            │           │   └── depth: 0
            │           ├── statements:
            │           │   @ StatementsNode (location: (169...178))
            │           │   └── body: (length: 1)
            │           │       └── @ LocalVariableWriteNode (location: (169...178))
            │           │           ├── name: :foo
            │           │           ├── depth: 0
            │           │           ├── name_loc: (169...172) = "foo"
            │           │           ├── value:
            │           │           │   @ CallNode (location: (175...178))
            │           │           │   ├── receiver: ∅
            │           │           │   ├── call_operator_loc: ∅
            │           │           │   ├── message_loc: (175...178) = "bar"
            │           │           │   ├── opening_loc: ∅
            │           │           │   ├── arguments: ∅
            │           │           │   ├── closing_loc: ∅
            │           │           │   ├── block: ∅
            │           │           │   ├── flags: variable_call
            │           │           │   └── name: "bar"
            │           │           └── operator_loc: (173...174) = "="
            │           └── flags: ∅
            ├── end_keyword_loc: (185...188) = "end"
            └── name: :A
