write PrettyPrintVisitor.java