Fewer AST's in pretty printing