classname 12: "Member"
infoname 1: "Attribute"
infoname 2: "Verification errors"
+infoname 3: "Debug info"
colorentry 100: 0 0 0
colorentry 101: 20 0 0
colorentry 102: 40 0 0
-1: Block 20
0: Start 21
Private Attributes:
+ proj nr: 1
"
color: yellow}
edge: {sourcename: "n27" targetname: "n21" label: "0" class:17 priority:10 color:blue}
-node: {title: "n24" label: "ProjX 0 24" info1: "Proj 24
+node: {title: "n24" label: "ProjX X_initial_exec 24" info1: "Proj 24
mode: X
visited: 4
irg: EMPTY_main
-1: Block 20
0: Start 21
Private Attributes:
+ proj nr: 0
"
color: yellow}
edge: {sourcename: "n24" targetname: "n21" label: "0" class:13 priority:60 color:red}