put derivation into GraphViz comments, so the output from infer can be piped directly into graphviz.