Backport changes in Chapter 5 to previous chapters and update Chapter5 documentation (#34)

* Backport changes from chapter 5 to older chapters (#30)

* Fix wrong indent

* Backport to chapter 4

* Backport to chapter 3

* Backport to chapter 2

* Backport to chapter 1

* Add if statement to comment (#32)

* Update visuals for chapters 1,2 & 3.
Reenable drawing of edges from constants to Start for these chapters.

* Update visuals for chapters 4.
Revise text to explain the labeling of edges in graphs and that we omit edge from Constant to Start nodes from chapter 4.

* Add code snippets for if statement parsing and the duplication and merging of ScopeNodes.
Explain how scopeNodes are duplicated and merged.

* Add constant check to minus node (#31)

* Fix closing root block with } (#33)

* Backport fix closing root block with } to chapter 4 and 3 (#35)

* Show use-def edge from Phi to Region as dotted edge.
Add example of Phi peephole.
Update visuals.
Add more examples.

* Fix visuals in chapter 1 and README in chapter 4.

* Remove subheading

* Adjust spaces

---------

Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com>

4 files changed, 151 insertions, 123 deletions

diff --git a/chapter02/docs/02-post-peephole-ex1.gv b/chapter02/docs/02-post-peephole-ex1.gv
index 290a1178..6c2b23ae 100644
--- a/chapter02/docs/02-post-peephole-ex1.gv
+++ b/chapter02/docs/02-post-peephole-ex1.gv
@@ -1,11 +1,17 @@
 digraph chapter02 {
+/*
+return 1+2*3+-5;
+*/
 	rankdir=BT;
+	ordering="in";
+	concentrate="true";
 	subgraph cluster_Nodes {
 		Start1 [ shape=box style=filled fillcolor=yellow label="Start" ];
-		Con213 [ label="Con2" ];
+		Con_13 [ label="#2" ];
 		Return14 [ shape=box style=filled fillcolor=yellow label="Return" ];
 	}
-	Con213 -> Start1 [style=dotted];
-	Return14 -> Start1 [color=red];
-	Return14 -> Con213;
-}
\ No newline at end of file
+	edge [ fontname=Helvetica, fontsize=8 ];
+	Con_13 -> Start1[taillabel=0 style=dotted];
+	Return14 -> Start1[taillabel=0 color=red];
+	Return14 -> Con_13[taillabel=1];
+}
diff --git a/chapter02/docs/02-post-peephole-ex1.svg b/chapter02/docs/02-post-peephole-ex1.svg
index b3c42c7d..db27e30d 100644
--- a/chapter02/docs/02-post-peephole-ex1.svg
+++ b/chapter02/docs/02-post-peephole-ex1.svg
@@ -4,50 +4,53 @@
 <!-- Generated by graphviz version 2.43.0 (0)
  -->
 <!-- Title: chapter02 Pages: 1 -->
-<svg width="128pt" height="220pt"
- viewBox="0.00 0.00 128.00 220.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<svg width="114pt" height="220pt"
+ viewBox="0.00 0.00 114.00 220.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 216)">
 <title>chapter02</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-216 124,-216 124,4 -4,4"/>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-216 110,-216 110,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_Nodes</title>
-<polygon fill="none" stroke="black" points="8,-8 8,-204 112,-204 112,-8 8,-8"/>
+<polygon fill="none" stroke="black" points="8,-8 8,-204 98,-204 98,-8 8,-8"/>
 </g>
 <!-- Start1 -->
 <g id="node1" class="node">
 <title>Start1</title>
-<polygon fill="yellow" stroke="black" points="83,-196 29,-196 29,-160 83,-160 83,-196"/>
-<text text-anchor="middle" x="56" y="-174.3" font-family="Times,serif" font-size="14.00">Start</text>
+<polygon fill="yellow" stroke="black" points="80,-196 26,-196 26,-160 80,-160 80,-196"/>
+<text text-anchor="middle" x="53" y="-174.3" font-family="Times,serif" font-size="14.00">Start</text>
 </g>
-<!-- Con213 -->
+<!-- Con_13 -->
 <g id="node2" class="node">
-<title>Con213</title>
-<ellipse fill="none" stroke="black" cx="70" cy="-106" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="70" y="-102.3" font-family="Times,serif" font-size="14.00">Con2</text>
+<title>Con_13</title>
+<ellipse fill="none" stroke="black" cx="43" cy="-106" rx="27" ry="18"/>
+<text text-anchor="middle" x="43" y="-102.3" font-family="Times,serif" font-size="14.00">#2</text>
 </g>
-<!-- Con213&#45;&gt;Start1 -->
+<!-- Con_13&#45;&gt;Start1 -->
 <g id="edge1" class="edge">
-<title>Con213&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M66.61,-123.95C65.07,-131.65 63.21,-140.97 61.47,-149.64"/>
-<polygon fill="black" stroke="black" points="57.98,-149.23 59.46,-159.72 64.85,-150.61 57.98,-149.23"/>
+<title>Con_13&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M45.42,-123.95C46.52,-131.65 47.85,-140.97 49.09,-149.64"/>
+<polygon fill="black" stroke="black" points="45.65,-150.32 50.53,-159.72 52.58,-149.33 45.65,-150.32"/>
+<text text-anchor="middle" x="42.42" y="-126.55" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
 <!-- Return14 -->
 <g id="node3" class="node">
 <title>Return14</title>
-<polygon fill="yellow" stroke="black" points="92,-52 26,-52 26,-16 92,-16 92,-52"/>
-<text text-anchor="middle" x="59" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
+<polygon fill="yellow" stroke="black" points="86,-52 20,-52 20,-16 86,-16 86,-52"/>
+<text text-anchor="middle" x="53" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
 </g>
 <!-- Return14&#45;&gt;Start1 -->
 <g id="edge2" class="edge">
 <title>Return14&#45;&gt;Start1</title>
-<path fill="none" stroke="red" d="M45.44,-52.03C38.44,-61.91 30.63,-74.95 27,-88 22.71,-103.41 23.04,-108.5 27,-124 29.38,-133.3 33.76,-142.73 38.42,-151"/>
-<polygon fill="red" stroke="red" points="35.54,-153.01 43.69,-159.78 41.54,-149.41 35.54,-153.01"/>
+<path fill="none" stroke="red" d="M64.05,-52.39C69.74,-62.38 76.08,-75.42 79,-88 82.62,-103.59 82.62,-108.41 79,-124 76.9,-133.04 73.03,-142.32 68.91,-150.53"/>
+<polygon fill="red" stroke="red" points="65.69,-149.14 64.05,-159.61 71.86,-152.45 65.69,-149.14"/>
+<text text-anchor="middle" x="61.05" y="-54.99" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
-<!-- Return14&#45;&gt;Con213 -->
+<!-- Return14&#45;&gt;Con_13 -->
 <g id="edge3" class="edge">
-<title>Return14&#45;&gt;Con213</title>
-<path fill="none" stroke="black" d="M61.72,-52.3C62.93,-60.02 64.39,-69.29 65.74,-77.89"/>
-<polygon fill="black" stroke="black" points="62.3,-78.56 67.31,-87.9 69.22,-77.47 62.3,-78.56"/>
+<title>Return14&#45;&gt;Con_13</title>
+<path fill="none" stroke="black" d="M50.53,-52.3C49.43,-60.02 48.1,-69.29 46.87,-77.89"/>
+<polygon fill="black" stroke="black" points="43.39,-77.5 45.44,-87.9 50.32,-78.49 43.39,-77.5"/>
+<text text-anchor="middle" x="47.53" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 </g>
 </svg>
diff --git a/chapter02/docs/02-pre-peephole-ex1.gv b/chapter02/docs/02-pre-peephole-ex1.gv
index c2eab457..411de5ee 100644
--- a/chapter02/docs/02-pre-peephole-ex1.gv
+++ b/chapter02/docs/02-pre-peephole-ex1.gv
@@ -1,28 +1,34 @@
 digraph chapter02 {
+/*
+return 1+2*3+-5;
+*/
 	rankdir=BT;
+	ordering="in";
+	concentrate="true";
 	subgraph cluster_Nodes {
 		Start1 [ shape=box style=filled fillcolor=yellow label="Start" ];
-		Con12 [ label="Con1" ];
-		Con23 [ label="Con2" ];
-		Con34 [ label="Con3" ];
-		Mul5 [ label="Mul" ];
-		Con56 [ label="Con5" ];
-		Minus7 [ label="Minus" ];
-		Add8 [ label="Add" ];
-		Add9 [ label="Add" ];
+		Con_2 [ label="#1" ];
+		Con_3 [ label="#2" ];
+		Con_4 [ label="#3" ];
+		Mul5 [ label="*" ];
+		Con_6 [ label="#5" ];
+		Minus7 [ label="-" ];
+		Add8 [ label="+" ];
+		Add9 [ label="+" ];
 		Return10 [ shape=box style=filled fillcolor=yellow label="Return" ];
 	}
-	Con12 -> Start1 [style=dotted];
-	Con23 -> Start1 [style=dotted];
-	Con34 -> Start1 [style=dotted];
-	Mul5 -> Con23;
-	Mul5 -> Con34;
-	Con56 -> Start1 [style=dotted];
-	Minus7 -> Con56;
-	Add8 -> Mul5;
-	Add8 -> Minus7;
-	Add9 -> Con12;
-	Add9 -> Add8;
-	Return10 -> Start1 [color=red];
-	Return10 -> Add9;
-}
\ No newline at end of file
+	edge [ fontname=Helvetica, fontsize=8 ];
+	Con_2 -> Start1[taillabel=0 style=dotted];
+	Con_3 -> Start1[taillabel=0 style=dotted];
+	Con_4 -> Start1[taillabel=0 style=dotted];
+	Mul5 -> Con_3[taillabel=1];
+	Mul5 -> Con_4[taillabel=2];
+	Con_6 -> Start1[taillabel=0 style=dotted];
+	Minus7 -> Con_6[taillabel=1];
+	Add8 -> Mul5[taillabel=1];
+	Add8 -> Minus7[taillabel=2];
+	Add9 -> Con_2[taillabel=1];
+	Add9 -> Add8[taillabel=2];
+	Return10 -> Start1[taillabel=0 color=red];
+	Return10 -> Add9[taillabel=1];
+}
diff --git a/chapter02/docs/02-pre-peephole-ex1.svg b/chapter02/docs/02-pre-peephole-ex1.svg
index 8a1ef457..29c76bd8 100644
--- a/chapter02/docs/02-pre-peephole-ex1.svg
+++ b/chapter02/docs/02-pre-peephole-ex1.svg
@@ -4,152 +4,165 @@
 <!-- Generated by graphviz version 2.43.0 (0)
  -->
 <!-- Title: chapter02 Pages: 1 -->
-<svg width="322pt" height="436pt"
- viewBox="0.00 0.00 322.00 436.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<svg width="278pt" height="436pt"
+ viewBox="0.00 0.00 278.00 436.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 432)">
 <title>chapter02</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-432 318,-432 318,4 -4,4"/>
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-432 274,-432 274,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_Nodes</title>
-<polygon fill="none" stroke="black" points="8,-8 8,-420 306,-420 306,-8 8,-8"/>
+<polygon fill="none" stroke="black" points="8,-8 8,-420 262,-420 262,-8 8,-8"/>
 </g>
 <!-- Start1 -->
 <g id="node1" class="node">
 <title>Start1</title>
-<polygon fill="yellow" stroke="black" points="117,-412 63,-412 63,-376 117,-376 117,-412"/>
-<text text-anchor="middle" x="90" y="-390.3" font-family="Times,serif" font-size="14.00">Start</text>
+<polygon fill="yellow" stroke="black" points="162,-412 108,-412 108,-376 162,-376 162,-412"/>
+<text text-anchor="middle" x="135" y="-390.3" font-family="Times,serif" font-size="14.00">Start</text>
 </g>
-<!-- Con12 -->
+<!-- Con_2 -->
 <g id="node2" class="node">
-<title>Con12</title>
-<ellipse fill="none" stroke="black" cx="70" cy="-178" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="70" y="-174.3" font-family="Times,serif" font-size="14.00">Con1</text>
+<title>Con_2</title>
+<ellipse fill="none" stroke="black" cx="222" cy="-178" rx="27" ry="18"/>
+<text text-anchor="middle" x="222" y="-174.3" font-family="Times,serif" font-size="14.00">#1</text>
 </g>
-<!-- Con12&#45;&gt;Start1 -->
+<!-- Con_2&#45;&gt;Start1 -->
 <g id="edge1" class="edge">
-<title>Con12&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M62.43,-195.98C50.2,-225.92 29.16,-289.7 47,-340 50.66,-350.32 57.29,-360.1 64.26,-368.39"/>
-<polygon fill="black" stroke="black" points="61.67,-370.74 70.96,-375.84 66.87,-366.06 61.67,-370.74"/>
+<title>Con_2&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M230.65,-195.54C245.5,-226.47 271.62,-294.07 243,-340 227.56,-364.77 196.8,-378.29 172.04,-385.46"/>
+<polygon fill="black" stroke="black" points="170.97,-382.13 162.2,-388.08 172.77,-388.89 170.97,-382.13"/>
+<text text-anchor="middle" x="227.65" y="-198.14" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
-<!-- Con23 -->
+<!-- Con_3 -->
 <g id="node3" class="node">
-<title>Con23</title>
-<ellipse fill="none" stroke="black" cx="90" cy="-322" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="90" y="-318.3" font-family="Times,serif" font-size="14.00">Con2</text>
+<title>Con_3</title>
+<ellipse fill="none" stroke="black" cx="63" cy="-322" rx="27" ry="18"/>
+<text text-anchor="middle" x="63" y="-318.3" font-family="Times,serif" font-size="14.00">#2</text>
 </g>
-<!-- Con23&#45;&gt;Start1 -->
+<!-- Con_3&#45;&gt;Start1 -->
 <g id="edge2" class="edge">
-<title>Con23&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M90,-340.3C90,-348.02 90,-357.29 90,-365.89"/>
-<polygon fill="black" stroke="black" points="86.5,-365.9 90,-375.9 93.5,-365.9 86.5,-365.9"/>
+<title>Con_3&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M77.57,-337.17C86.92,-346.25 99.3,-358.29 110.17,-368.86"/>
+<polygon fill="black" stroke="black" points="107.79,-371.43 117.4,-375.89 112.67,-366.41 107.79,-371.43"/>
+<text text-anchor="middle" x="74.57" y="-339.77" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
-<!-- Con34 -->
+<!-- Con_4 -->
 <g id="node4" class="node">
-<title>Con34</title>
-<ellipse fill="none" stroke="black" cx="177" cy="-322" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="177" y="-318.3" font-family="Times,serif" font-size="14.00">Con3</text>
+<title>Con_4</title>
+<ellipse fill="none" stroke="black" cx="135" cy="-322" rx="27" ry="18"/>
+<text text-anchor="middle" x="135" y="-318.3" font-family="Times,serif" font-size="14.00">#3</text>
 </g>
-<!-- Con34&#45;&gt;Start1 -->
+<!-- Con_4&#45;&gt;Start1 -->
 <g id="edge3" class="edge">
-<title>Con34&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M158.97,-337.5C147.52,-346.72 132.42,-358.87 119.27,-369.45"/>
-<polygon fill="black" stroke="black" points="116.98,-366.8 111.38,-375.8 121.37,-372.25 116.98,-366.8"/>
+<title>Con_4&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M135,-340.3C135,-348.02 135,-357.29 135,-365.89"/>
+<polygon fill="black" stroke="black" points="131.5,-365.9 135,-375.9 138.5,-365.9 131.5,-365.9"/>
+<text text-anchor="middle" x="132" y="-342.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
 <!-- Mul5 -->
 <g id="node5" class="node">
 <title>Mul5</title>
-<ellipse fill="none" stroke="black" cx="161" cy="-250" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="161" y="-246.3" font-family="Times,serif" font-size="14.00">Mul</text>
+<ellipse fill="none" stroke="black" cx="135" cy="-250" rx="27" ry="18"/>
+<text text-anchor="middle" x="135" y="-246.3" font-family="Times,serif" font-size="14.00">*</text>
 </g>
-<!-- Mul5&#45;&gt;Con23 -->
+<!-- Mul5&#45;&gt;Con_3 -->
 <g id="edge4" class="edge">
-<title>Mul5&#45;&gt;Con23</title>
-<path fill="none" stroke="black" d="M146.29,-265.5C136.65,-275 123.86,-287.62 112.91,-298.42"/>
-<polygon fill="black" stroke="black" points="110.34,-296.03 105.68,-305.54 115.26,-301.02 110.34,-296.03"/>
+<title>Mul5&#45;&gt;Con_3</title>
+<path fill="none" stroke="black" d="M120.43,-265.17C110.25,-275.06 96.48,-288.45 84.97,-299.64"/>
+<polygon fill="black" stroke="black" points="82.53,-297.13 77.8,-306.62 87.41,-302.15 82.53,-297.13"/>
+<text text-anchor="middle" x="117.43" y="-267.77" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
-<!-- Mul5&#45;&gt;Con34 -->
+<!-- Mul5&#45;&gt;Con_4 -->
 <g id="edge5" class="edge">
-<title>Mul5&#45;&gt;Con34</title>
-<path fill="none" stroke="black" d="M164.87,-267.95C166.65,-275.74 168.81,-285.18 170.81,-293.92"/>
-<polygon fill="black" stroke="black" points="167.41,-294.76 173.05,-303.72 174.24,-293.2 167.41,-294.76"/>
+<title>Mul5&#45;&gt;Con_4</title>
+<path fill="none" stroke="black" d="M135,-268.3C135,-276.02 135,-285.29 135,-293.89"/>
+<polygon fill="black" stroke="black" points="131.5,-293.9 135,-303.9 138.5,-293.9 131.5,-293.9"/>
+<text text-anchor="middle" x="132" y="-270.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
 </g>
-<!-- Con56 -->
+<!-- Con_6 -->
 <g id="node6" class="node">
-<title>Con56</title>
-<ellipse fill="none" stroke="black" cx="264" cy="-322" rx="34.39" ry="18"/>
-<text text-anchor="middle" x="264" y="-318.3" font-family="Times,serif" font-size="14.00">Con5</text>
+<title>Con_6</title>
+<ellipse fill="none" stroke="black" cx="207" cy="-322" rx="27" ry="18"/>
+<text text-anchor="middle" x="207" y="-318.3" font-family="Times,serif" font-size="14.00">#5</text>
 </g>
-<!-- Con56&#45;&gt;Start1 -->
+<!-- Con_6&#45;&gt;Start1 -->
 <g id="edge6" class="edge">
-<title>Con56&#45;&gt;Start1</title>
-<path fill="none" stroke="black" stroke-dasharray="1,5" d="M237.57,-333.63C207.98,-345.54 159.83,-364.91 126.62,-378.27"/>
-<polygon fill="black" stroke="black" points="125.22,-375.06 117.25,-382.04 127.83,-381.55 125.22,-375.06"/>
+<title>Con_6&#45;&gt;Start1</title>
+<path fill="none" stroke="black" stroke-dasharray="1,5" d="M192.43,-337.17C183.08,-346.25 170.7,-358.29 159.83,-368.86"/>
+<polygon fill="black" stroke="black" points="157.33,-366.41 152.6,-375.89 162.21,-371.43 157.33,-366.41"/>
+<text text-anchor="middle" x="189.43" y="-339.77" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
 <!-- Minus7 -->
 <g id="node7" class="node">
 <title>Minus7</title>
-<ellipse fill="none" stroke="black" cx="252" cy="-250" rx="39.79" ry="18"/>
-<text text-anchor="middle" x="252" y="-246.3" font-family="Times,serif" font-size="14.00">Minus</text>
+<ellipse fill="none" stroke="black" cx="207" cy="-250" rx="27" ry="18"/>
+<text text-anchor="middle" x="207" y="-246.3" font-family="Times,serif" font-size="14.00">&#45;</text>
 </g>
-<!-- Minus7&#45;&gt;Con56 -->
+<!-- Minus7&#45;&gt;Con_6 -->
 <g id="edge7" class="edge">
-<title>Minus7&#45;&gt;Con56</title>
-<path fill="none" stroke="black" d="M254.97,-268.3C256.29,-276.02 257.88,-285.29 259.35,-293.89"/>
-<polygon fill="black" stroke="black" points="255.93,-294.63 261.07,-303.9 262.83,-293.45 255.93,-294.63"/>
+<title>Minus7&#45;&gt;Con_6</title>
+<path fill="none" stroke="black" d="M207,-268.3C207,-276.02 207,-285.29 207,-293.89"/>
+<polygon fill="black" stroke="black" points="203.5,-293.9 207,-303.9 210.5,-293.9 203.5,-293.9"/>
+<text text-anchor="middle" x="204" y="-270.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 <!-- Add8 -->
 <g id="node8" class="node">
 <title>Add8</title>
-<ellipse fill="none" stroke="black" cx="161" cy="-178" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="161" y="-174.3" font-family="Times,serif" font-size="14.00">Add</text>
+<ellipse fill="none" stroke="black" cx="140" cy="-178" rx="27" ry="18"/>
+<text text-anchor="middle" x="140" y="-174.3" font-family="Times,serif" font-size="14.00">+</text>
 </g>
 <!-- Add8&#45;&gt;Mul5 -->
 <g id="edge8" class="edge">
 <title>Add8&#45;&gt;Mul5</title>
-<path fill="none" stroke="black" d="M161,-196.3C161,-204.02 161,-213.29 161,-221.89"/>
-<polygon fill="black" stroke="black" points="157.5,-221.9 161,-231.9 164.5,-221.9 157.5,-221.9"/>
+<path fill="none" stroke="black" d="M138.76,-196.3C138.21,-204.02 137.55,-213.29 136.94,-221.89"/>
+<polygon fill="black" stroke="black" points="133.44,-221.67 136.22,-231.9 140.43,-222.17 133.44,-221.67"/>
+<text text-anchor="middle" x="135.76" y="-198.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 <!-- Add8&#45;&gt;Minus7 -->
 <g id="edge9" class="edge">
 <title>Add8&#45;&gt;Minus7</title>
-<path fill="none" stroke="black" d="M178.55,-192.5C191.62,-202.55 209.72,-216.48 224.68,-227.99"/>
-<polygon fill="black" stroke="black" points="222.56,-230.77 232.62,-234.09 226.83,-225.22 222.56,-230.77"/>
+<path fill="none" stroke="black" d="M153.88,-193.5C163.14,-203.17 175.47,-216.06 185.93,-226.98"/>
+<polygon fill="black" stroke="black" points="183.69,-229.71 193.14,-234.51 188.75,-224.87 183.69,-229.71"/>
+<text text-anchor="middle" x="150.88" y="-196.1" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
 </g>
 <!-- Add9 -->
 <g id="node9" class="node">
 <title>Add9</title>
-<ellipse fill="none" stroke="black" cx="70" cy="-106" rx="28.7" ry="18"/>
-<text text-anchor="middle" x="70" y="-102.3" font-family="Times,serif" font-size="14.00">Add</text>
+<ellipse fill="none" stroke="black" cx="140" cy="-106" rx="27" ry="18"/>
+<text text-anchor="middle" x="140" y="-102.3" font-family="Times,serif" font-size="14.00">+</text>
 </g>
-<!-- Add9&#45;&gt;Con12 -->
+<!-- Add9&#45;&gt;Con_2 -->
 <g id="edge10" class="edge">
-<title>Add9&#45;&gt;Con12</title>
-<path fill="none" stroke="black" d="M70,-124.3C70,-132.02 70,-141.29 70,-149.89"/>
-<polygon fill="black" stroke="black" points="66.5,-149.9 70,-159.9 73.5,-149.9 66.5,-149.9"/>
+<title>Add9&#45;&gt;Con_2</title>
+<path fill="none" stroke="black" d="M156.2,-120.83C168.18,-131.06 184.69,-145.15 198.18,-156.66"/>
+<polygon fill="black" stroke="black" points="196.23,-159.61 206.11,-163.44 200.78,-154.28 196.23,-159.61"/>
+<text text-anchor="middle" x="153.2" y="-123.43" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 <!-- Add9&#45;&gt;Add8 -->
 <g id="edge11" class="edge">
 <title>Add9&#45;&gt;Add8</title>
-<path fill="none" stroke="black" d="M87.55,-120.5C101.14,-130.96 120.18,-145.6 135.46,-157.35"/>
-<polygon fill="black" stroke="black" points="133.45,-160.22 143.51,-163.54 137.72,-154.67 133.45,-160.22"/>
+<path fill="none" stroke="black" d="M140,-124.3C140,-132.02 140,-141.29 140,-149.89"/>
+<polygon fill="black" stroke="black" points="136.5,-149.9 140,-159.9 143.5,-149.9 136.5,-149.9"/>
+<text text-anchor="middle" x="137" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
 </g>
 <!-- Return10 -->
 <g id="node10" class="node">
 <title>Return10</title>
-<polygon fill="yellow" stroke="black" points="92,-52 26,-52 26,-16 92,-16 92,-52"/>
-<text text-anchor="middle" x="59" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
+<polygon fill="yellow" stroke="black" points="125,-52 59,-52 59,-16 125,-16 125,-52"/>
+<text text-anchor="middle" x="92" y="-30.3" font-family="Times,serif" font-size="14.00">Return</text>
 </g>
 <!-- Return10&#45;&gt;Start1 -->
 <g id="edge12" class="edge">
 <title>Return10&#45;&gt;Start1</title>
-<path fill="none" stroke="red" d="M48.61,-52.09C42.9,-62.2 36.15,-75.45 32,-88 19.42,-126.09 17,-136.89 17,-177 17,-177 17,-177 17,-251 17,-291.54 17.45,-304.48 37,-340 42.87,-350.67 51.53,-360.62 60.16,-368.95"/>
-<polygon fill="red" stroke="red" points="57.93,-371.65 67.66,-375.84 62.66,-366.5 57.93,-371.65"/>
+<path fill="none" stroke="red" d="M75.73,-52.27C53.67,-77.55 17,-127.09 17,-177 17,-177 17,-177 17,-251 17,-290.8 4.09,-307.45 27,-340 43.69,-363.72 74.05,-377.3 98.34,-384.76"/>
+<polygon fill="red" stroke="red" points="97.41,-388.14 107.99,-387.51 99.33,-381.4 97.41,-388.14"/>
+<text text-anchor="middle" x="72.73" y="-54.87" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
 </g>
 <!-- Return10&#45;&gt;Add9 -->
 <g id="edge13" class="edge">
 <title>Return10&#45;&gt;Add9</title>
-<path fill="none" stroke="black" d="M61.72,-52.3C62.93,-60.02 64.39,-69.29 65.74,-77.89"/>
-<polygon fill="black" stroke="black" points="62.3,-78.56 67.31,-87.9 69.22,-77.47 62.3,-78.56"/>
+<path fill="none" stroke="black" d="M103.87,-52.3C109.82,-60.98 117.12,-71.63 123.6,-81.08"/>
+<polygon fill="black" stroke="black" points="120.71,-83.06 129.25,-89.33 126.49,-79.1 120.71,-83.06"/>
+<text text-anchor="middle" x="100.87" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
 </g>
 </g>
 </svg>