Improve CFG consturction example and escape quotes for GraphViz