Implement ParseTree.toString()