edge: { sourcename: "n81" targetname: "n71"}
node: {title: "n88" label: "Block n88" }
edge: { sourcename: "n88" targetname: "n81"}
-node: {title: "n94" label: "Bad 94" info1: "visited: 0
+node: {title: "n62" label: "Bad 62" info1: "mode: T
+visited: 0
irg: IRREGULAR_CF_main
arity: 0
"}