node: {title: "n235" label: "ProjX 0 235" color: yellow}
edge: {sourcename: "n235" targetname: "n236" label: "0" color: red}
node: {title: "n236" label: "Start 236" color: blue}
-node: {title: "n245" label: "0x00000000Is 245" color: yellow}
+node: {title: "n245" label: "0x0Is 245" color: yellow}
node: {title: "n247" label: "ProjT 4 247" color: yellow}
edge: {sourcename: "n247" targetname: "n236" label: "0" }
node: {title: "n250" label: "ProjM 1 250" color: yellow}