edge: {sourcename: "n95" targetname: "n88" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n95" targetname: "n92" label: "1" class:1 priority:50}
edge: { sourcename: "n95" targetname: "n91" class:2 priority:50 linestyle:dotted}
-node: {title: "n96" label: "Load 96" info1: "mode: T
+node: {title: "n96" label: "Load[Is] 96" info1: "mode: T
visited: 11
irg: PRIMA_c
arity: 2
+volatility: volatility_non_volatile
"}
edge: {sourcename: "n96" targetname: "n88" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n96" targetname: "n95" label: "1" class:1 priority:50}