graph: { title: "n68" label: "68" status:clustered color:yellow
edge: {sourcename: "n68" targetname: "n69" label: "0" color: red}
node: {title: "n65" label: "Return 65" info1: "visited: 14
+return in method of type IF_ELSE_EXAMPLE_main
+ res 0 type: int
+ res 1 type: int
"}
edge: {sourcename: "n65" targetname: "n75" label: "0" color: blue}
edge: {sourcename: "n65" targetname: "n74" label: "1" }