AST Validator.