-graph: { title: "n182" label: "Block 182" status:clustered color:yellow
-edge: {sourcename: "n182" targetname: "n30" label: "0" class:13 priority:60 color:red}
-node: {title: "n43" label: "ProjM 0 43" info1: "mode: M
-visited: 34
-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: 34
-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: 34
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 2
-allocating entity of type PRIMA
-"}
-node: {title: "n41n39" label: "SymC PRIMA size 39" info1: "mode: Iu
-visited: 34
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 0
-kind size
-"}
-edge: {sourcename: "n41" targetname: "n33" label: "0" class:17 priority:10 color:blue}
-edge: {sourcename: "n41" targetname: "n41n39" label: "1" class:16 priority:10}
-node: {title: "n186" label: "ProjX 0 186" info1: "mode: X
-visited: 34
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n186" targetname: "n184" label: "0" class:13 priority:60 color:red}
-node: {title: "n184" label: "CallBegin set_a 184" info1: "mode: T
-visited: 34
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 1
-possible callees:
- 0: PRIMA_set_a
-"}
-node: {title: "n184n166" label: "SymC &set_a 166" info1: "mode: P
-visited: 34
-irg: OO_PROGRAM_EXAMPLE_main
-arity: 0
-kind addr_ent
-entity PRIMA.set_a (17)
+graph: { title: "n191" label: "Block 191" status:clustered color:yellow
+ info1: "Block 191
+ mode: BB
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ 0: Proj 34
+ Private Attributes:
+ inter arity: 1
+ inter pred nodes:
+ 0: Proj 34
+ backedges:
+ block visited: 0
+ Execution freqency statistics:
+"
+edge: {sourcename: "n191" targetname: "n34" label: "0" class:13 priority:60 color:red}
+node: {title: "n47" label: "ProjM M 47" info1: "Proj 47
+ mode: M
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 191
+ 0: Alloc 45
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n47" targetname: "n45" label: "0" class:17 priority:10 color:blue}
+node: {title: "n48" label: "ProjP res 48" info1: "Proj 48
+ mode: P
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 191
+ 0: Alloc 45
+ Private Attributes:
+ proj nr: 2
+"
+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: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 191
+ 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: 35
+ 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}
+node: {title: "n195" label: "ProjX 0 195" info1: "Proj 195
+ mode: X
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 191
+ 0: CallBegin set_a 193
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n195" targetname: "n193" label: "0" class:13 priority:60 color:red}
+node: {title: "n193" label: "CallBegin set_a 193" info1: "CallBegin set_a 193
+ mode: T
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 191
+ 0: SymC &set_a 175
+ Private Attributes:
+ Call: 50
+ possible callees:
+ 0: PRIMA_set_a
+"
+}
+node: {title: "n193n175" label: "SymC &set_a 175" info1: "SymC &set_a 175
+ mode: P
+ visited: 35
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 0
+ pred nodes:
+ -1: Block 30
+ Private Attributes:
+ kind: addr_ent
+ entity: entity PRIMA.set_a (20)