-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" }
-edge: { sourcename: "n116" targetname: "n110" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n115" label: "ProjT 2 115" color: yellow info1: "visited: 17
-"}
-edge: {sourcename: "n115" targetname: "n116" label: "0" }
-edge: { sourcename: "n115" targetname: "n110" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n114" label: "ProjIs 0 114" color: yellow info1: "visited: 17
-"}
-edge: {sourcename: "n114" targetname: "n115" label: "0" }
-edge: { sourcename: "n114" targetname: "n110" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n128" label: "ProjM 0 128" color: yellow info1: "visited: 17
-"}
-edge: {sourcename: "n128" targetname: "n116" label: "0" color: blue}
-edge: { sourcename: "n128" targetname: "n110" class: 2 priority: 2 linestyle: dotted}
-node: {title: "n109" label: "Return 109" info1: "visited: 17
+node: {title: "n50n38" label: "0x5Is 38" info1: "mode: Is
+visited: 20
+irg: OO_PROGRAM_EXAMPLE_main
+arity: 0
+Const of type type_unknown
+"color: yellow}
+edge: {sourcename: "n50" targetname: "n48" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n50" targetname: "n49" label: "1" class:1 priority:50}
+edge: {sourcename: "n50" targetname: "n44" label: "2" class:1 priority:50}
+edge: {sourcename: "n50" targetname: "n50n38" label: "3" class:16 priority:10}
+edge: { sourcename: "n50" targetname: "n36" class:2 priority:50 linestyle:dotted}
+node: {title: "n53" label: "ProjT 2 53" info1: "mode: T
+visited: 20
+irg: OO_PROGRAM_EXAMPLE_main
+arity: 1
+"color: yellow}
+edge: {sourcename: "n53" targetname: "n50" label: "0" class:1 priority:50}
+edge: { sourcename: "n53" targetname: "n36" class:2 priority:50 linestyle:dotted}
+node: {title: "n54" label: "ProjIs 0 54" info1: "mode: Is
+visited: 20
+irg: OO_PROGRAM_EXAMPLE_main
+arity: 1
+"color: yellow}
+edge: {sourcename: "n54" targetname: "n53" label: "0" class:1 priority:50}
+edge: { sourcename: "n54" targetname: "n36" class:2 priority:50 linestyle:dotted}
+node: {title: "n52" label: "ProjM 0 52" info1: "mode: M
+visited: 20
+irg: OO_PROGRAM_EXAMPLE_main
+arity: 1
+"color: yellow}
+edge: {sourcename: "n52" targetname: "n50" label: "0" class:17 priority:10 color:blue}
+edge: { sourcename: "n52" targetname: "n36" class:2 priority:50 linestyle:dotted}
+node: {title: "n55" label: "Return 55" info1: "mode: X
+visited: 20
+irg: OO_PROGRAM_EXAMPLE_main
+arity: 2