ProgramNode(0...4)(
  [],
  StatementsNode(0...4)([GlobalVariableReadNode(0...4)()])
)
