Updating the AST printer