+node: {title: "n42" label: "0x5Is 42" info1: "0x5 42
+ mode: Is
+ visited: 20
+ irg: OO_PROGRAM_EXAMPLE_main
+ arity: 0
+ pred nodes:
+ -1: Block 30
+ Private Attributes:
+ Const of type type_unknown
+"
+color:yellow}
+edge: { sourcename: "n42" targetname: "n30" class:2 priority:50 linestyle:dotted}
+node: {title: "n43" label: "SymC PRIMA size 43" info1: "SymC PRIMA size 43
+ mode: Iu
+ visited: 20
+ 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: "n43" targetname: "n30" class:2 priority:50 linestyle:dotted}