edge: { sourcename: "t18" targetname: "e21"class: 10 label: "arr ent" color: green}
edge: { sourcename: "n22" targetname: "t18"label: "upper 0"}
edge: { sourcename: "n23" targetname: "t18"label: "lower 0"}
-node: {title: "n22" label: "0x9Iu 22" info1: "0x9 22
+node: {title: "n22" label: "0x9Iu 22" info1: "0x9 22
mode: Iu
visited: 1
arity: 0
Const of type type_unknown
"
color: yellow}
-node: {title: "n23" label: "0x0Iu 23" info1: "0x0 23
+node: {title: "n23" label: "0x0Iu 23" info1: "0x0 23
mode: Iu
visited: 1
arity: 0
}
edge: { sourcename: "e17" targetname: "t15"class: 3 label: "type" color: red}
edge: { sourcename: "e17" targetname: "n16"label: "value 0"}
-node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16" info1: "SymC &ARRAY-HEAP_EXAMPLE_main 16
+node: {title: "n16" label: "SymC &ARRAY-HEAP_EXAMPLE_main 16" info1: "SymC &ARRAY-HEAP_EXAMPLE_main 16
mode: P
visited: 1
arity: 0