Verifs, Cambios en el AST