node: {title: "n19" label: "End Block n19" info1:"arity: 1
" color:blue }
-edge: { sourcename: "n19" targetname: "n40"}
-node: {title: "n40" label: "Block n40" info1:"arity: 3
+edge: { sourcename: "n19" targetname: "n41"}
+node: {title: "n41" label: "Block n41" info1:"arity: 3
"}
-edge: { sourcename: "n40" targetname: "n41"}
-edge: { sourcename: "n40" targetname: "n53"}
-edge: { sourcename: "n40" targetname: "n55"}
-node: {title: "n55" label: "Block n55" info1:"arity: 1
+edge: { sourcename: "n41" targetname: "n42"}
+edge: { sourcename: "n41" targetname: "n55"}
+edge: { sourcename: "n41" targetname: "n57"}
+node: {title: "n57" label: "Block n57" info1:"arity: 1
"}
-edge: { sourcename: "n55" targetname: "n44"}
-node: {title: "n44" label: "Block n44" info1:"arity: 1
+edge: { sourcename: "n57" targetname: "n45"}
+node: {title: "n45" label: "Block n45" info1:"arity: 1
"}
-edge: { sourcename: "n44" targetname: "n31"}
+edge: { sourcename: "n45" targetname: "n31"}
node: {title: "n31" label: "Block n31" info1:"arity: 1
"}
edge: { sourcename: "n31" targetname: "n21"}
node: {title: "n21" label: "Start Block n21" info1:"arity: 1
" color:blue }
edge: { sourcename: "n21" targetname: "n21"}
-node: {title: "n53" label: "Block n53" info1:"arity: 1
+node: {title: "n55" label: "Block n55" info1:"arity: 1
"}
-edge: { sourcename: "n53" targetname: "n44"}
-node: {title: "n41" label: "Block n41" info1:"arity: 1
+edge: { sourcename: "n55" targetname: "n45"}
+node: {title: "n42" label: "Block n42" info1:"arity: 1
"}
-edge: { sourcename: "n41" targetname: "n31"}
-node: {title: "n79" label: "Bad 79" info1: "Bad 79
+edge: { sourcename: "n42" targetname: "n31"}
+node: {title: "n81" label: "Bad 81" info1: "Bad 81
mode: T
visited: 0
irg: THREE_CFPRED_EXAMPLE_main