-edge: { sourcename: "e16" targetname: "t14"class: 3 label: "type" color: red}
-edge: { sourcename: "e16" targetname: "n15"label: "value 0"}
-node: {title: "n15" label: "&(PRIMA_set_a)P 15" color: yellow info1: "visited: 1
+edge: { sourcename: "e18" targetname: "t16"class: 3 label: "type" color: red}
+edge: { sourcename: "e18" targetname: "n17"label: "value 0"}
+node: {title: "n17" label: "&(PRIMA_set_a)P 17" color: yellow info1: "visited: 1
+Const of type type_unknown
+"}
+node: {title: "n4" label: "Bad 4" info1: "visited: 1