Improve AST printing