ProgramNode(0...7)(
  [:n],
  StatementsNode(0...7)(
    [MatchRequiredNode(0...7)(
       IntegerNode(0...2)(),
       LocalVariableWriteNode(6...7)(:n, 0, nil, (6...7), nil),
       (3...5)
     )]
  )
)
