Updated MSON AST