-graph: { title: "g27" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white
-graph: { title: "n32" label: "Block 32" status:clustered color:yellow
-edge: {sourcename: "n32" targetname: "n31" label: "0" class:13 priority:60 color:red}
-edge: {sourcename: "n32" targetname: "n43" label: "1" class:13 priority:60 color:red}
-node: {title: "n62" label: "PhiM 62" info1: "mode: M
+graph: { title: "g31" label: "ENDLESS_LOOP_EXAMPLE_main" status:clustered color:white
+graph: { title: "n36" label: "Block 36" status:clustered color:yellow
+edge: {sourcename: "n36" targetname: "n35" label: "0" class:13 priority:60 color:red}
+edge: {sourcename: "n36" targetname: "n47" label: "1" class:13 priority:60 color:red}
+node: {title: "n66" label: "PhiM 66" info1: "mode: M