-edge: {sourcename: "n36" targetname: "n45" label: "1" class:13 priority:60 color:red}
-node: {title: "n42" label: "ProjX 0 42" info1: "mode: X
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n42" targetname: "n41" label: "0" class:13 priority:60 color:red}
-node: {title: "n43" label: "ProjX 1 43" info1: "mode: X
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n43" targetname: "n41" label: "0" class:13 priority:60 color:red}
-node: {title: "n41" label: "Cond 41" info1: "mode: T
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 1
-"}
-edge: {sourcename: "n41" targetname: "n40" label: "0" class:1 priority:50}
-node: {title: "n40" label: "Projb Eq 40" info1: "mode: b
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 1
-"color: yellow}
-edge: {sourcename: "n40" targetname: "n39" label: "0" class:1 priority:50}
-node: {title: "n39" label: "Cmp 39" info1: "mode: T
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 2
-"}
-edge: {sourcename: "n39" targetname: "n38" label: "0" class:16 priority:10}
-edge: {sourcename: "n39" targetname: "n52" label: "1" class:1 priority:50}
-node: {title: "n52" label: "PhiIs 52" info1: "mode: Is
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n52" targetname: "n34" label: "0" class:16 priority:10}
-edge: {sourcename: "n52" targetname: "n51" label: "1" class:1 priority:50}
-node: {title: "n51" label: "PhiIs 51" info1: "mode: Is
-visited: 18
-irg: WHILE_EXAMPLE_main
-arity: 2 backedges:
-"color: green}
-edge: {sourcename: "n51" targetname: "n33" label: "0" class:16 priority:10}
-edge: {sourcename: "n51" targetname: "n52" label: "1" class:1 priority:50}
+edge: {sourcename: "n36" targetname: "n46" label: "1" class:13 priority:60 color:red}
+node: {title: "n43" label: "ProjX false 43" info1: "Proj 43
+ mode: X
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 36
+ 0: Cond 42
+ Private Attributes:
+ proj nr: 0
+"
+color:yellow}
+edge: {sourcename: "n43" targetname: "n42" label: "0" class:13 priority:60 color:red}
+node: {title: "n44" label: "ProjX true 44" info1: "Proj 44
+ mode: X
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 36
+ 0: Cond 42
+ Private Attributes:
+ proj nr: 1
+"
+color:yellow}
+edge: {sourcename: "n44" targetname: "n42" label: "0" class:13 priority:60 color:red}
+node: {title: "n42" label: "Cond 42" info1: "Cond 42
+ mode: T
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 36
+ 0: Proj 40
+ Private Attributes:
+ condition kind: dense
+ default ProjNr: 0
+"
+}
+edge: {sourcename: "n42" targetname: "n40" label: "0" class:1 priority:50}
+node: {title: "n40" label: "Projb Eq 40" info1: "Proj 40
+ mode: b
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 1
+ pred nodes:
+ -1: Block 36
+ 0: Cmp 41
+ Private Attributes:
+ proj nr: 1
+"
+color:yellow}
+edge: {sourcename: "n40" targetname: "n41" label: "0" class:1 priority:50}
+node: {title: "n41" label: "Cmp 41" info1: "Cmp 41
+ mode: T
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 36
+ 0: Phi 53
+ 1: 0x0 38
+ Private Attributes:
+"
+}
+edge: {sourcename: "n41" targetname: "n53" label: "0" class:1 priority:50}
+edge: {sourcename: "n41" targetname: "n38" label: "1" class:16 priority:10}
+node: {title: "n53" label: "PhiIs 53" info1: "Phi 53
+ mode: Is
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 36
+ 0: 0x1 34
+ 1: Phi 52
+ Private Attributes:
+ backedges:
+"
+color:green}
+edge: {sourcename: "n53" targetname: "n34" label: "0" class:16 priority:10}
+edge: {sourcename: "n53" targetname: "n52" label: "1" class:1 priority:50}
+node: {title: "n52" label: "PhiIs 52" info1: "Phi 52
+ mode: Is
+ visited: 18
+ irg: WHILE_EXAMPLE_main
+ arity: 2
+ pred nodes:
+ -1: Block 36
+ 0: Proj 33
+ 1: Phi 53
+ Private Attributes:
+ backedges:
+"
+color:green}
+edge: {sourcename: "n52" targetname: "n33" label: "0" class:16 priority:10}
+edge: {sourcename: "n52" targetname: "n53" label: "1" class:1 priority:50}