AST printer updated.