-graph: { title: "0x80a4314" label: "Block" status:clustered color:yellow
-edge: {sourcename: "0x80a4314" targetname: "0x80a43c8" label: "0" color: red}
-edge: {sourcename: "0x80a4314" targetname: "0x80a4394" label: "1" color: red}
-node: {title: "0x80a4474" label: "PhiM " color: green}
-edge: {sourcename: "0x80a4474" targetname: "0x80a46ec" label: "0" color: blue}
-edge: {sourcename: "0x80a4474" targetname: "0x80a44cc" label: "1" color: blue}
-node: {title: "0x80a4394" label: "Jmp " }
-node: {title: "0x80a44cc" label: "Store " }
-edge: {sourcename: "0x80a44cc" targetname: "0x80a4474" label: "0" color: blue}
-edge: {sourcename: "0x80a44cc" targetname: "0x80a4670" label: "1" }
-edge: {sourcename: "0x80a44cc" targetname: "0x80a4510" label: "2" }
-node: {title: "0x80a4510" label: "PhiI " color: green}
-edge: {sourcename: "0x80a4510" targetname: "0x80a45f8" label: "0" }
-edge: {sourcename: "0x80a4510" targetname: "0x80a4568" label: "1" }
-node: {title: "0x80a4568" label: "PhiI " color: green}
-edge: {sourcename: "0x80a4568" targetname: "0x80a45c0" label: "0" }
-edge: {sourcename: "0x80a4568" targetname: "0x80a4510" label: "1" }
-node: {title: "0x80a4670" label: "Sel a" }
-edge: {sourcename: "0x80a4670" targetname: "0x80a4474" label: "0" color: blue}
-edge: {sourcename: "0x80a4670" targetname: "0x80a46b0" label: "1" }
+graph: { title: "n246" label: "246" status:clustered color:yellow
+edge: {sourcename: "n246" targetname: "n248" label: "0" color: red}
+edge: {sourcename: "n246" targetname: "n247" label: "1" color: red}
+node: {title: "n250" label: "PhiM 250" color: green info1: "visited: 27
+"}
+edge: {sourcename: "n250" targetname: "n259" label: "0" color: blue}
+edge: {sourcename: "n250" targetname: "n251" label: "1" color: blue}
+node: {title: "n247" label: "Jmp 247" info1: "visited: 27
+"}
+node: {title: "n251" label: "Store 251" info1: "visited: 27
+"}
+edge: {sourcename: "n251" targetname: "n250" label: "0" color: blue}
+edge: {sourcename: "n251" targetname: "n257" label: "1" }
+edge: {sourcename: "n251" targetname: "n252" label: "2" }
+node: {title: "n252" label: "PhiIs 252" color: green info1: "visited: 27
+"}
+edge: {sourcename: "n252" targetname: "n255" label: "0" }
+edge: {sourcename: "n252" targetname: "n253" label: "1" }
+node: {title: "n253" label: "PhiIs 253" color: green info1: "visited: 27
+"}
+edge: {sourcename: "n253" targetname: "n254" label: "0" }
+edge: {sourcename: "n253" targetname: "n252" label: "1" }
+node: {title: "n257" label: "Sel a 257" info1: "visited: 27
+Selecting entity of type int
+ from entity of type PRIMA
+"}
+edge: {sourcename: "n257" targetname: "n250" label: "0" color: blue}
+edge: {sourcename: "n257" targetname: "n258" label: "1" }