"}
edge: {sourcename: "n67" targetname: "n69" label: "0" color: red}
node: {title: "n69" label: "Start 69" color: blue info1: "visited: 15
+start of method of type IF_ELSE_EXAMPLE_main
"}
node: {title: "n71" label: "0x2Is 71" color: yellow info1: "visited: 15
"}