Port over AST validators