@ ProgramNode (location: (0...10))
├── locals: []
└── statements:
    @ StatementsNode (location: (0...10))
    └── body: (length: 1)
        └── @ CallAndWriteNode (location: (0...10))
            ├── receiver:
            │   @ CallNode (location: (0...1))
            │   ├── receiver: ∅
            │   ├── call_operator_loc: ∅
            │   ├── message_loc: (0...1) = "a"
            │   ├── opening_loc: ∅
            │   ├── arguments: ∅
            │   ├── closing_loc: ∅
            │   ├── block: ∅
            │   ├── flags: variable_call
            │   └── name: "a"
            ├── call_operator_loc: (1...3) = "&."
            ├── message_loc: (3...4) = "b"
            ├── opening_loc: ∅
            ├── arguments: ∅
            ├── closing_loc: ∅
            ├── flags: safe_navigation
            ├── read_name: "b"
            ├── write_name: "b="
            ├── operator_loc: (5...8) = "&&="
            └── value:
                @ IntegerNode (location: (9...10))
                └── flags: decimal
