-graph: { title: "n99" label: "99" status:clustered color:yellow
-edge: {sourcename: "n99" targetname: "n100" label: "0" color: red}
-node: {title: "n98" label: "Return 98" }
-edge: {sourcename: "n98" targetname: "n117" label: "0" color: blue}
-edge: {sourcename: "n98" targetname: "n103" label: "1" }
-node: {title: "n103" label: "ProjI 0 103" color: yellow}
-edge: {sourcename: "n103" targetname: "n104" label: "0" }
-node: {title: "n104" label: "ProjT 2 104" color: yellow}
-edge: {sourcename: "n104" targetname: "n105" label: "0" }
-node: {title: "n105" label: "Call 105" }
-edge: {sourcename: "n105" targetname: "n112" label: "0" color: blue}
-edge: {sourcename: "n105" targetname: "n111" label: "1" }
-edge: {sourcename: "n105" targetname: "n107" label: "2" }
-edge: {sourcename: "n105" targetname: "n106" label: "3" }
-node: {title: "n107" label: "ProjP 2 107" color: yellow}
-edge: {sourcename: "n107" targetname: "n108" label: "0" }
-node: {title: "n108" label: "Alloc 108" }
-edge: {sourcename: "n108" targetname: "n110" label: "0" color: blue}
-edge: {sourcename: "n108" targetname: "n109" label: "1" }
-node: {title: "n109" label: "SymC PRIMA size 109" }
-node: {title: "n111" label: "Sel c 111" }
-edge: {sourcename: "n111" targetname: "n112" label: "0" color: blue}
-edge: {sourcename: "n111" targetname: "n107" label: "1" }
-node: {title: "n112" label: "ProjM 0 112" color: yellow}
-edge: {sourcename: "n112" targetname: "n113" label: "0" color: blue}
-node: {title: "n113" label: "Call 113" }
-edge: {sourcename: "n113" targetname: "n116" label: "0" color: blue}
-edge: {sourcename: "n113" targetname: "n115" label: "1" }
-edge: {sourcename: "n113" targetname: "n107" label: "2" }
-edge: {sourcename: "n113" targetname: "n114" label: "3" }
-node: {title: "n115" label: "Sel set_a 115" }
-edge: {sourcename: "n115" targetname: "n116" label: "0" color: blue}
-edge: {sourcename: "n115" targetname: "n107" label: "1" }
-node: {title: "n116" label: "ProjM 0 116" color: yellow}
-edge: {sourcename: "n116" targetname: "n108" label: "0" color: blue}
-node: {title: "n117" label: "ProjM 0 117" color: yellow}
-edge: {sourcename: "n117" targetname: "n105" label: "0" color: blue}
+graph: { title: "n110" label: "110" status:clustered color:yellow
+edge: {sourcename: "n110" targetname: "n111" label: "0" color: red}
+node: {title: "n109" label: "Return 109" info1: "visited: 20
+return in method of type OO_PROGRAM_EXAMPLE_main
+ res 0 type: int
+"}
+edge: {sourcename: "n109" targetname: "n128" label: "0" color: blue}
+edge: {sourcename: "n109" targetname: "n114" label: "1" }
+node: {title: "n114" label: "ProjIs 0 114" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n114" targetname: "n115" label: "0" }
+node: {title: "n115" label: "ProjT 2 115" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n115" targetname: "n116" label: "0" }
+node: {title: "n116" label: "Call 116" info1: "visited: 20
+calling method of type c
+ param 0 type: class_prima_ptr
+ param 1 type: int
+ resul 0 type: int
+"}
+edge: {sourcename: "n116" targetname: "n123" label: "0" color: blue}
+edge: {sourcename: "n116" targetname: "n122" label: "1" }
+edge: {sourcename: "n116" targetname: "n118" label: "2" }
+edge: {sourcename: "n116" targetname: "n117" label: "3" }
+node: {title: "n118" label: "ProjP 2 118" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n118" targetname: "n119" label: "0" }
+node: {title: "n119" label: "Alloc 119" info1: "visited: 20
+allocating entity of type PRIMA
+"}
+edge: {sourcename: "n119" targetname: "n121" label: "0" color: blue}
+edge: {sourcename: "n119" targetname: "n120" label: "1" }
+node: {title: "n122" label: "Sel c 122" info1: "visited: 20
+Selecting entity of type c
+ from entity of type PRIMA
+"}
+edge: {sourcename: "n122" targetname: "n123" label: "0" color: blue}
+edge: {sourcename: "n122" targetname: "n118" label: "1" }
+node: {title: "n123" label: "ProjM 0 123" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n123" targetname: "n124" label: "0" color: blue}
+node: {title: "n124" label: "Call 124" info1: "visited: 20
+calling method of type set_a
+ param 0 type: class_prima_ptr
+ param 1 type: int
+"}
+edge: {sourcename: "n124" targetname: "n127" label: "0" color: blue}
+edge: {sourcename: "n124" targetname: "n126" label: "1" }
+edge: {sourcename: "n124" targetname: "n118" label: "2" }
+edge: {sourcename: "n124" targetname: "n125" label: "3" }
+node: {title: "n126" label: "Sel set_a 126" info1: "visited: 20
+Selecting entity of type set_a
+ from entity of type PRIMA
+"}
+edge: {sourcename: "n126" targetname: "n127" label: "0" color: blue}
+edge: {sourcename: "n126" targetname: "n118" label: "1" }
+node: {title: "n127" label: "ProjM 0 127" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n127" targetname: "n119" label: "0" color: blue}
+node: {title: "n128" label: "ProjM 0 128" color: yellow info1: "visited: 20
+"}
+edge: {sourcename: "n128" targetname: "n116" label: "0" color: blue}