Work around an annoying bug in dotgen or GraphViz  which was preventing the description of our calls  to an Approve processor from showing in the proof  files. 
Work around an annoying bug in dotgen or GraphViz 
which was preventing the description of our calls 
to an Approve processor from showing in the proof 
files. 

The bug is that whenever there is an escaped quote
in a String, the rest of the String is ignored.

pepeiborra/narradar,pepeiborra/narradar,pepeiborra/narradar