vated AST