Verified we are keeping the AST clean