@ ProgramNode (location: (1,0)-(3,4)) ├── locals: [] └── statements: @ StatementsNode (location: (1,0)-(3,4)) └── body: (length: 2) ├── @ FalseNode (location: (1,0)-(1,5)) └── @ TrueNode (location: (3,0)-(3,4))