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