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