ProgramNode(0...11)(
  [],
  StatementsNode(0...11)([FalseNode(0...5)(), TrueNode(7...11)()])
)