-graph: { title: "176" label: "176" status:clustered color:yellow
-edge: {sourcename: "176" targetname: "171" label: "0" color: red}
-node: {title: "175" label: "Jmp 175" }
-node: {title: "181" label: "0I 181" color: yellow}
-node: {title: "184" label: "ProjP 2 184" color: yellow}
-edge: {sourcename: "184" targetname: "185" label: "0" }
-node: {title: "185" label: "Alloc 185" }
-edge: {sourcename: "185" targetname: "187" label: "0" color: blue}
-edge: {sourcename: "185" targetname: "186" label: "1" }
-node: {title: "186" label: "SymC PRIMA size 186" }
-node: {title: "188" label: "ProjM 0 188" color: yellow}
-edge: {sourcename: "188" targetname: "189" label: "0" color: blue}
-node: {title: "189" label: "Store 189" }
-edge: {sourcename: "189" targetname: "192" label: "0" color: blue}
-edge: {sourcename: "189" targetname: "191" label: "1" }
-edge: {sourcename: "189" targetname: "190" label: "2" }
-node: {title: "191" label: "Sel a 191" }
-edge: {sourcename: "191" targetname: "192" label: "0" color: blue}
-edge: {sourcename: "191" targetname: "184" label: "1" }
-node: {title: "192" label: "ProjM 0 192" color: yellow}
-edge: {sourcename: "192" targetname: "185" label: "0" color: blue}
+graph: { title: "n203" label: "203" status:clustered color:yellow
+edge: {sourcename: "n203" targetname: "n198" label: "0" color: red}
+node: {title: "n202" label: "Jmp 202" info1: "visited: 23
+"}
+node: {title: "n208" label: "0x0Is 208" color: yellow info1: "visited: 23
+Const of type type_unknown
+"}
+node: {title: "n211" label: "ProjP 2 211" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n211" targetname: "n212" label: "0" }
+node: {title: "n212" label: "Alloc 212" info1: "visited: 23
+allocating entity of type PRIMA_INLINE
+"}
+edge: {sourcename: "n212" targetname: "n214" label: "0" color: blue}
+edge: {sourcename: "n212" targetname: "n213" label: "1" }
+node: {title: "n215" label: "ProjM 0 215" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n215" targetname: "n216" label: "0" color: blue}
+node: {title: "n216" label: "Store 216" info1: "visited: 23
+"}
+edge: {sourcename: "n216" targetname: "n219" label: "0" color: blue}
+edge: {sourcename: "n216" targetname: "n218" label: "1" }
+edge: {sourcename: "n216" targetname: "n217" label: "2" }
+node: {title: "n218" label: "Sel a 218" info1: "visited: 23
+Selecting entity of type int
+ from entity of type PRIMA_INLINE
+"}
+edge: {sourcename: "n218" targetname: "n219" label: "0" color: blue}
+edge: {sourcename: "n218" targetname: "n211" label: "1" }
+node: {title: "n219" label: "ProjM 0 219" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n219" targetname: "n212" label: "0" color: blue}