Make pretty print an option of the ParseTreeWriter.