graph: { title: "n49" label: "49" status:clustered color:yellow
edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
node: {title: "n48" label: "Return 48" info1: "visited: 14
graph: { title: "n49" label: "49" status:clustered color:yellow
edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
node: {title: "n48" label: "Return 48" info1: "visited: 14
"}
edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
edge: {sourcename: "n48" targetname: "n53" label: "1" }
"}
edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
edge: {sourcename: "n48" targetname: "n53" label: "1" }
edge: { sourcename: "n19" targetname: "t17"label: "upper 0"}
edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
node: {title: "n19" label: "0x9Iu 19" color: yellow info1: "visited: 2
edge: { sourcename: "n19" targetname: "t17"label: "upper 0"}
edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
node: {title: "n19" label: "0x9Iu 19" color: yellow info1: "visited: 2
edge: { sourcename: "e16" targetname: "t14"class: 3 label: "type" color: red}
edge: { sourcename: "e16" targetname: "n15"label: "value 0"}
node: {title: "n15" label: "&(ARRAY-STACK_EXAMPLE_main)P 15" color: yellow info1: "visited: 2
edge: { sourcename: "e16" targetname: "t14"class: 3 label: "type" color: red}
edge: { sourcename: "e16" targetname: "n15"label: "value 0"}
node: {title: "n15" label: "&(ARRAY-STACK_EXAMPLE_main)P 15" color: yellow info1: "visited: 2