-edge: {sourcename: "n50" targetname: "n44" label: "2" class:1 priority:50}
-edge: {sourcename: "n50" targetname: "n50n38" label: "3" class:16 priority:10}
-node: {title: "n49" label: "Sel PRIMA_c 49" info1: "mode: P
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 2
-Selecting entity of type c
- from entity of type PRIMA
-"}
-edge: {sourcename: "n49" targetname: "n48" label: "0" class:14 priority:50 color:blue}
-edge: {sourcename: "n49" targetname: "n44" label: "1" class:1 priority:50}
-node: {title: "n48" label: "ProjM 0 48" info1: "mode: M
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n48" targetname: "n46" label: "0" class:17 priority:10 color:blue}
-node: {title: "n46" label: "Call 46" info1: "mode: T
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 4
-calling method of type set_a
- param 0 type: class_prima_ptr
- param 1 type: int
-"}
-node: {title: "n46n37" label: "0x2Is 37" info1: "mode: Is
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 0
-Const of type type_unknown
-"color: yellow}
-edge: {sourcename: "n46" targetname: "n43" label: "0" class:14 priority:50 color:blue}
-edge: {sourcename: "n46" targetname: "n45" label: "1" class:1 priority:50}
-edge: {sourcename: "n46" targetname: "n44" label: "2" class:1 priority:50}
-edge: {sourcename: "n46" targetname: "n46n37" label: "3" class:16 priority:10}
-node: {title: "n45" label: "Sel PRIMA_set_a 45" info1: "mode: P
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 2
-Selecting entity of type set_a
- from entity of type PRIMA
-"}
-edge: {sourcename: "n45" targetname: "n43" label: "0" class:14 priority:50 color:blue}
-edge: {sourcename: "n45" targetname: "n44" label: "1" class:1 priority:50}
-node: {title: "n43" label: "ProjM 0 43" info1: "mode: M
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n43" targetname: "n41" label: "0" class:17 priority:10 color:blue}
-node: {title: "n44" label: "ProjP 2 44" info1: "mode: P
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n44" targetname: "n41" label: "0" class:1 priority:50}
-node: {title: "n41" label: "Alloc 41" info1: "mode: T
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 2
-allocating entity of type PRIMA
-"}
-node: {title: "n41n39" label: "SymC PRIMA size 39" info1: "mode: Iu
-visited: 19
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 0
-kind size
-SymConst of type type_unknown
-"}
-edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10}
+edge: {sourcename: "n50" targetname: "n48" label: "2" class:1 priority:50}
+edge: {sourcename: "n50" targetname: "n50n41" label: "3" class:16 priority:10}
+node: {title: "n49" label: "Sel PRIMA_set_a 49" info1: "Sel 49
+ mode: P
+ visited: 19
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 40
+ 0: Proj 47
+ 1: Proj 48
+ Private Attributes:
+ Selecting entity of type set_a
+ from entity of type PRIMA
+"
+}
+edge: {sourcename: "n49" targetname: "n47" label: "0" class:14 priority:50 color:blue}
+edge: {sourcename: "n49" targetname: "n48" label: "1" class:1 priority:50}
+node: {title: "n47" label: "ProjM 0 47" info1: "Proj 47
+ mode: M
+ visited: 19
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 40
+ 0: Alloc 45
+ Private Attributes:
+"
+color: yellow}
+edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
+node: {title: "n48" label: "ProjP 2 48" info1: "Proj 48
+ mode: P
+ visited: 19
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 40
+ 0: Alloc 45
+ Private Attributes:
+"
+color: yellow}
+edge: {sourcename: "n48" targetname: "n45" label: "0" class:1 priority:50}
+node: {title: "n45" label: "Alloc 45" info1: "Alloc 45
+ mode: T
+ visited: 19
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 40
+ 0: Proj 37
+ 1: SymC PRIMA size 43
+ Private Attributes:
+ pinned state: op_pin_state_pinned
+ allocating entity of type: PRIMA
+ allocating on: the heap
+"
+}
+node: {title: "n45n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
+ mode: Iu
+ visited: 19
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 0
+ pred nodes:
+ -1: Block 30
+ Private Attributes:
+ kind: size
+ type: class type PRIMA (15)
+ type of value: type_unknown
+"
+}
+edge: {sourcename: "n45" targetname: "n37" label: "0" class:17 priority:10 color:blue}
+edge: {sourcename: "n45" targetname: "n45n43" label: "1" class:16 priority:10}