path: root/chapter05/docs/05-graph8.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.43.0 (0)
 -->
<!-- Title: chapter05 Pages: 1 -->
<svg width="774pt" height="664pt"
 viewBox="0.00 0.00 774.00 664.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 660)">
<title>chapter05</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-660 770,-660 770,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Nodes</title>
<polygon fill="none" stroke="black" points="8,-8 8,-648 550,-648 550,-8 8,-8"/>
</g>
<g id="clust5" class="cluster">
<title>cluster_Scope1_0</title>
<polygon fill="none" stroke="black" points="558,-72 558,-140 758,-140 758,-72 558,-72"/>
</g>
<g id="clust6" class="cluster">
<title>cluster_Scope1_1</title>
<polygon fill="none" stroke="black" points="566,-80 566,-132 636,-132 636,-80 566,-80"/>
</g>
<!-- Start2 -->
<g id="node1" class="node">
<title>Start2</title>
<polygon fill="yellow" stroke="transparent" points="190,-611 190,-636 271,-636 271,-611 190,-611"/>
<polygon fill="none" stroke="black" points="190,-611 190,-636 271,-636 271,-611 190,-611"/>
<text text-anchor="start" x="212" y="-619.8" font-family="Times,serif" font-size="14.00">Start</text>
<polygon fill="none" stroke="black" points="190,-580 190,-611 271,-611 271,-580 190,-580"/>
<polygon fill="yellow" stroke="transparent" points="195,-585 195,-606 235,-606 235,-585 195,-585"/>
<polygon fill="none" stroke="black" points="195,-585 195,-606 235,-606 235,-585 195,-585"/>
<text text-anchor="start" x="198" y="-591.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="235,-585 235,-606 266,-606 266,-585 235,-585"/>
<text text-anchor="start" x="238" y="-591.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Stop3 -->
<g id="node2" class="node">
<title>Stop3</title>
<polygon fill="yellow" stroke="black" points="286,-52 232,-52 232,-16 286,-16 286,-52"/>
<text text-anchor="middle" x="259" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text>
</g>
<!-- Return35 -->
<g id="node22" class="node">
<title>Return35</title>
<polygon fill="yellow" stroke="black" points="292,-124 226,-124 226,-88 292,-88 292,-124"/>
<text text-anchor="middle" x="259" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text>
</g>
<!-- Stop3&#45;&gt;Return35 -->
<g id="edge1" class="edge">
<title>Stop3&#45;&gt;Return35</title>
<path fill="none" stroke="red" d="M259,-52.3C259,-60.02 259,-69.29 259,-77.89"/>
<polygon fill="red" stroke="red" points="255.5,-77.9 259,-87.9 262.5,-77.9 255.5,-77.9"/>
<text text-anchor="middle" x="256" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Con_7 -->
<g id="node3" class="node">
<title>Con_7</title>
<ellipse fill="none" stroke="black" cx="136" cy="-608" rx="27" ry="18"/>
<text text-anchor="middle" x="136" y="-604.3" font-family="Times,serif" font-size="14.00">#1</text>
</g>
<!-- EQNode8 -->
<g id="node4" class="node">
<title>EQNode8</title>
<ellipse fill="none" stroke="black" cx="169" cy="-522" rx="27" ry="18"/>
<text text-anchor="middle" x="169" y="-518.3" font-family="Times,serif" font-size="14.00">==</text>
</g>
<!-- EQNode8&#45;&gt;Start2 -->
<g id="edge2" class="edge">
<title>EQNode8&#45;&gt;Start2:p1</title>
<path fill="none" stroke="black" d="M190.12,-533.69C209.67,-544.17 237.18,-560.54 247.18,-574.44"/>
<polygon fill="black" stroke="black" points="244.04,-576.01 251,-584 250.54,-573.42 244.04,-576.01"/>
<text text-anchor="middle" x="187.12" y="-536.29" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- EQNode8&#45;&gt;Con_7 -->
<g id="edge3" class="edge">
<title>EQNode8&#45;&gt;Con_7</title>
<path fill="none" stroke="black" d="M162.48,-539.6C157.87,-551.33 151.59,-567.3 146.31,-580.76"/>
<polygon fill="black" stroke="black" points="142.91,-579.85 142.51,-590.44 149.42,-582.41 142.91,-579.85"/>
<text text-anchor="middle" x="159.48" y="-542.2" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- If9 -->
<g id="node5" class="node">
<title>If9</title>
<polygon fill="yellow" stroke="transparent" points="124,-439 124,-464 218,-464 218,-439 124,-439"/>
<polygon fill="none" stroke="black" points="124,-439 124,-464 218,-464 218,-439 124,-439"/>
<text text-anchor="start" x="165.5" y="-447.8" font-family="Times,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="124,-408 124,-439 218,-439 218,-408 124,-408"/>
<polygon fill="yellow" stroke="transparent" points="129,-413 129,-434 169,-434 169,-413 129,-413"/>
<polygon fill="none" stroke="black" points="129,-413 129,-434 169,-434 169,-413 129,-413"/>
<text text-anchor="start" x="132" y="-419.8" font-family="Times,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="transparent" points="169,-413 169,-434 213,-434 213,-413 169,-413"/>
<polygon fill="none" stroke="black" points="169,-413 169,-434 213,-434 213,-413 169,-413"/>
<text text-anchor="start" x="172" y="-419.8" font-family="Times,serif" font-size="14.00">False</text>
</g>
<!-- If9&#45;&gt;Start2 -->
<g id="edge4" class="edge">
<title>If9&#45;&gt;Start2:p0</title>
<path fill="none" stroke="red" d="M189.59,-468.09C195.4,-479.09 201.26,-491.78 205,-504 214.42,-534.78 214.99,-545.9 215,-573.83"/>
<polygon fill="red" stroke="red" points="211.5,-574 215,-584 218.5,-574 211.5,-574"/>
<text text-anchor="middle" x="186.59" y="-470.69" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If9&#45;&gt;EQNode8 -->
<g id="edge5" class="edge">
<title>If9&#45;&gt;EQNode8</title>
<path fill="none" stroke="black" d="M170.26,-468.28C170.06,-476.58 169.85,-485.48 169.65,-493.56"/>
<polygon fill="black" stroke="black" points="166.15,-493.51 169.41,-503.6 173.15,-493.68 166.15,-493.51"/>
<text text-anchor="middle" x="167.26" y="-470.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_13 -->
<g id="node6" class="node">
<title>Con_13</title>
<ellipse fill="none" stroke="black" cx="71" cy="-522" rx="27" ry="18"/>
<text text-anchor="middle" x="71" y="-518.3" font-family="Times,serif" font-size="14.00">#2</text>
</g>
<!-- EQNode14 -->
<g id="node7" class="node">
<title>EQNode14</title>
<ellipse fill="none" stroke="black" cx="71" cy="-436" rx="27" ry="18"/>
<text text-anchor="middle" x="71" y="-432.3" font-family="Times,serif" font-size="14.00">==</text>
</g>
<!-- EQNode14&#45;&gt;Start2 -->
<g id="edge6" class="edge">
<title>EQNode14&#45;&gt;Start2:p1</title>
<path fill="none" stroke="black" d="M79.96,-453.18C95.23,-480.56 125.41,-533.7 133,-540 173.12,-573.31 240.9,-534.16 249.98,-573.92"/>
<polygon fill="black" stroke="black" points="246.51,-574.4 251,-584 253.48,-573.7 246.51,-574.4"/>
<text text-anchor="middle" x="76.96" y="-455.78" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- EQNode14&#45;&gt;Con_13 -->
<g id="edge7" class="edge">
<title>EQNode14&#45;&gt;Con_13</title>
<path fill="none" stroke="black" d="M71,-454.4C71,-465.74 71,-480.77 71,-493.68"/>
<polygon fill="black" stroke="black" points="67.5,-493.9 71,-503.9 74.5,-493.9 67.5,-493.9"/>
<text text-anchor="middle" x="68" y="-457" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- If15 -->
<g id="node8" class="node">
<title>If15</title>
<polygon fill="yellow" stroke="transparent" points="24,-339 24,-364 118,-364 118,-339 24,-339"/>
<polygon fill="none" stroke="black" points="24,-339 24,-364 118,-364 118,-339 24,-339"/>
<text text-anchor="start" x="65.5" y="-347.8" font-family="Times,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="24,-308 24,-339 118,-339 118,-308 24,-308"/>
<polygon fill="yellow" stroke="transparent" points="29,-313 29,-334 69,-334 69,-313 29,-313"/>
<polygon fill="none" stroke="black" points="29,-313 29,-334 69,-334 69,-313 29,-313"/>
<text text-anchor="start" x="32" y="-319.8" font-family="Times,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="transparent" points="69,-313 69,-334 113,-334 113,-313 69,-313"/>
<polygon fill="none" stroke="black" points="69,-313 69,-334 113,-334 113,-313 69,-313"/>
<text text-anchor="start" x="72" y="-319.8" font-family="Times,serif" font-size="14.00">False</text>
</g>
<!-- If15&#45;&gt;If9 -->
<g id="edge8" class="edge">
<title>If15&#45;&gt;If9:p0</title>
<path fill="none" stroke="red" d="M88.21,-368.05C98.39,-385.75 110.98,-406.4 119.78,-416.61"/>
<polygon fill="red" stroke="red" points="117.96,-419.62 128,-423 122.25,-414.1 117.96,-419.62"/>
<text text-anchor="middle" x="85.21" y="-370.65" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If15&#45;&gt;EQNode14 -->
<g id="edge9" class="edge">
<title>If15&#45;&gt;EQNode14</title>
<path fill="none" stroke="black" d="M71,-368.01C71,-380.76 71,-395.4 71,-407.73"/>
<polygon fill="black" stroke="black" points="67.5,-407.87 71,-417.87 74.5,-407.87 67.5,-407.87"/>
<text text-anchor="middle" x="68" y="-370.61" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_19 -->
<g id="node9" class="node">
<title>Con_19</title>
<ellipse fill="none" stroke="black" cx="443" cy="-336" rx="27" ry="18"/>
<text text-anchor="middle" x="443" y="-332.3" font-family="Times,serif" font-size="14.00">#2</text>
</g>
<!-- Con_20 -->
<g id="node10" class="node">
<title>Con_20</title>
<ellipse fill="none" stroke="black" cx="515" cy="-336" rx="27" ry="18"/>
<text text-anchor="middle" x="515" y="-332.3" font-family="Times,serif" font-size="14.00">#3</text>
</g>
<!-- Region21 -->
<g id="node11" class="node">
<title>Region21</title>
<polygon fill="yellow" stroke="black" points="147,-268 81,-268 81,-232 147,-232 147,-268"/>
<text text-anchor="middle" x="114" y="-246.3" font-family="Times,serif" font-size="14.00">Region</text>
</g>
<!-- Region21&#45;&gt;If15 -->
<g id="edge10" class="edge">
<title>Region21&#45;&gt;If15:p0</title>
<path fill="none" stroke="red" d="M80.74,-267.13C67.62,-275.57 54.67,-287.24 50.44,-301.92"/>
<polygon fill="red" stroke="red" points="46.94,-301.61 49,-312 53.87,-302.59 46.94,-301.61"/>
<text text-anchor="middle" x="77.74" y="-260.73" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Region21&#45;&gt;If15 -->
<g id="edge11" class="edge">
<title>Region21&#45;&gt;If15:p1</title>
<path fill="none" stroke="red" d="M103.71,-268.24C98.93,-277.52 93.86,-289.54 91.87,-301.76"/>
<polygon fill="red" stroke="red" points="88.36,-301.74 91,-312 95.34,-302.33 88.36,-301.74"/>
<text text-anchor="middle" x="100.71" y="-270.84" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a22 -->
<g id="node12" class="node">
<title>Phi_a22</title>
<ellipse fill="lightyellow" stroke="black" cx="407" cy="-250" rx="27" ry="18"/>
<text text-anchor="middle" x="407" y="-246.3" font-family="Times,serif" font-size="14.00">φ_a</text>
</g>
<!-- Phi_a22&#45;&gt;Con_19 -->
<g id="edge13" class="edge">
<title>Phi_a22&#45;&gt;Con_19</title>
<path fill="none" stroke="black" d="M414.11,-267.6C419.19,-279.45 426.12,-295.62 431.92,-309.15"/>
<polygon fill="black" stroke="black" points="428.75,-310.63 435.9,-318.44 435.18,-307.87 428.75,-310.63"/>
<text text-anchor="middle" x="411.11" y="-270.2" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_a22&#45;&gt;Con_20 -->
<g id="edge14" class="edge">
<title>Phi_a22&#45;&gt;Con_20</title>
<path fill="none" stroke="black" d="M425.04,-263.7C439.78,-274.21 461.03,-289.69 479,-304 483.17,-307.32 487.52,-310.94 491.71,-314.49"/>
<polygon fill="black" stroke="black" points="489.59,-317.28 499.45,-321.15 494.15,-311.98 489.59,-317.28"/>
<text text-anchor="middle" x="422.04" y="-266.3" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a22&#45;&gt;Region21 -->
<g id="edge12" class="edge">
<title>Phi_a22&#45;&gt;Region21</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M386.5,-238C370.6,-229.42 347.68,-218.6 326,-214 265.57,-201.18 247.16,-199.97 187,-214 175.19,-216.75 163.08,-221.71 152.22,-227.08"/>
<polygon fill="black" stroke="black" points="150.28,-224.14 143.03,-231.86 153.51,-230.35 150.28,-224.14"/>
<text text-anchor="middle" x="383.5" y="-231.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Con_23 -->
<g id="node13" class="node">
<title>Con_23</title>
<ellipse fill="none" stroke="black" cx="297" cy="-522" rx="27" ry="18"/>
<text text-anchor="middle" x="297" y="-518.3" font-family="Times,serif" font-size="14.00">#3</text>
</g>
<!-- EQNode24 -->
<g id="node14" class="node">
<title>EQNode24</title>
<ellipse fill="none" stroke="black" cx="271" cy="-436" rx="27" ry="18"/>
<text text-anchor="middle" x="271" y="-432.3" font-family="Times,serif" font-size="14.00">==</text>
</g>
<!-- EQNode24&#45;&gt;Start2 -->
<g id="edge15" class="edge">
<title>EQNode24&#45;&gt;Start2:p1</title>
<path fill="none" stroke="black" d="M267.14,-454.1C261.74,-479.48 252.43,-528.98 251.15,-573.9"/>
<polygon fill="black" stroke="black" points="247.65,-573.95 251,-584 254.65,-574.05 247.65,-573.95"/>
<text text-anchor="middle" x="264.14" y="-456.7" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- EQNode24&#45;&gt;Con_23 -->
<g id="edge16" class="edge">
<title>EQNode24&#45;&gt;Con_23</title>
<path fill="none" stroke="black" d="M276.26,-454C279.88,-465.69 284.76,-481.44 288.87,-494.73"/>
<polygon fill="black" stroke="black" points="285.53,-495.8 291.84,-504.31 292.22,-493.73 285.53,-495.8"/>
<text text-anchor="middle" x="273.26" y="-456.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- If25 -->
<g id="node15" class="node">
<title>If25</title>
<polygon fill="yellow" stroke="transparent" points="152,-339 152,-364 246,-364 246,-339 152,-339"/>
<polygon fill="none" stroke="black" points="152,-339 152,-364 246,-364 246,-339 152,-339"/>
<text text-anchor="start" x="193.5" y="-347.8" font-family="Times,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="152,-308 152,-339 246,-339 246,-308 152,-308"/>
<polygon fill="yellow" stroke="transparent" points="157,-313 157,-334 197,-334 197,-313 157,-313"/>
<polygon fill="none" stroke="black" points="157,-313 157,-334 197,-334 197,-313 157,-313"/>
<text text-anchor="start" x="160" y="-319.8" font-family="Times,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="transparent" points="197,-313 197,-334 241,-334 241,-313 197,-313"/>
<polygon fill="none" stroke="black" points="197,-313 197,-334 241,-334 241,-313 197,-313"/>
<text text-anchor="start" x="200" y="-319.8" font-family="Times,serif" font-size="14.00">False</text>
</g>
<!-- If25&#45;&gt;If9 -->
<g id="edge17" class="edge">
<title>If25&#45;&gt;If9:p1</title>
<path fill="none" stroke="red" d="M194.16,-368.3C192.87,-378.58 191.7,-390.29 191.23,-401.68"/>
<polygon fill="red" stroke="red" points="187.72,-401.93 191,-412 194.72,-402.08 187.72,-401.93"/>
<text text-anchor="middle" x="191.16" y="-370.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If25&#45;&gt;EQNode24 -->
<g id="edge18" class="edge">
<title>If25&#45;&gt;EQNode24</title>
<path fill="none" stroke="black" d="M221.78,-368.01C232.02,-381.95 243.93,-398.15 253.46,-411.12"/>
<polygon fill="black" stroke="black" points="250.89,-413.54 259.63,-419.53 256.53,-409.39 250.89,-413.54"/>
<text text-anchor="middle" x="218.78" y="-370.61" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_29 -->
<g id="node16" class="node">
<title>Con_29</title>
<ellipse fill="none" stroke="black" cx="299" cy="-336" rx="27" ry="18"/>
<text text-anchor="middle" x="299" y="-332.3" font-family="Times,serif" font-size="14.00">#4</text>
</g>
<!-- Con_30 -->
<g id="node17" class="node">
<title>Con_30</title>
<ellipse fill="none" stroke="black" cx="371" cy="-336" rx="27" ry="18"/>
<text text-anchor="middle" x="371" y="-332.3" font-family="Times,serif" font-size="14.00">#5</text>
</g>
<!-- Region31 -->
<g id="node18" class="node">
<title>Region31</title>
<polygon fill="yellow" stroke="black" points="253,-268 187,-268 187,-232 253,-232 253,-268"/>
<text text-anchor="middle" x="220" y="-246.3" font-family="Times,serif" font-size="14.00">Region</text>
</g>
<!-- Region31&#45;&gt;If25 -->
<g id="edge19" class="edge">
<title>Region31&#45;&gt;If25:p0</title>
<path fill="none" stroke="red" d="M199.51,-268.03C190.68,-276.94 181.63,-288.71 178.32,-301.78"/>
<polygon fill="red" stroke="red" points="174.81,-301.63 177,-312 181.75,-302.53 174.81,-301.63"/>
<text text-anchor="middle" x="196.51" y="-270.63" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Region31&#45;&gt;If25 -->
<g id="edge20" class="edge">
<title>Region31&#45;&gt;If25:p1</title>
<path fill="none" stroke="red" d="M219.57,-268.09C219.36,-277.55 219.13,-289.77 219.04,-301.69"/>
<polygon fill="red" stroke="red" points="215.54,-301.99 219,-312 222.54,-302.01 215.54,-301.99"/>
<text text-anchor="middle" x="216.57" y="-270.69" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a32 -->
<g id="node19" class="node">
<title>Phi_a32</title>
<ellipse fill="lightyellow" stroke="black" cx="299" cy="-250" rx="27" ry="18"/>
<text text-anchor="middle" x="299" y="-246.3" font-family="Times,serif" font-size="14.00">φ_a</text>
</g>
<!-- Phi_a32&#45;&gt;Con_29 -->
<g id="edge22" class="edge">
<title>Phi_a32&#45;&gt;Con_29</title>
<path fill="none" stroke="black" d="M299,-268.4C299,-279.74 299,-294.77 299,-307.68"/>
<polygon fill="black" stroke="black" points="295.5,-307.9 299,-317.9 302.5,-307.9 295.5,-307.9"/>
<text text-anchor="middle" x="296" y="-271" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_a32&#45;&gt;Con_30 -->
<g id="edge23" class="edge">
<title>Phi_a32&#45;&gt;Con_30</title>
<path fill="none" stroke="black" d="M311.87,-266.02C322.93,-278.92 339.04,-297.71 351.65,-312.42"/>
<polygon fill="black" stroke="black" points="349.07,-314.8 358.24,-320.11 354.39,-310.24 349.07,-314.8"/>
<text text-anchor="middle" x="308.87" y="-268.62" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a32&#45;&gt;Region31 -->
<g id="edge21" class="edge">
<title>Phi_a32&#45;&gt;Region31</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M271.7,-250C268.88,-250 266.06,-250 263.23,-250"/>
<polygon fill="black" stroke="black" points="263.02,-246.5 253.02,-250 263.02,-253.5 263.02,-246.5"/>
<text text-anchor="middle" x="268.7" y="-243.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Region33 -->
<g id="node20" class="node">
<title>Region33</title>
<polygon fill="yellow" stroke="black" points="253,-196 187,-196 187,-160 253,-160 253,-196"/>
<text text-anchor="middle" x="220" y="-174.3" font-family="Times,serif" font-size="14.00">Region</text>
</g>
<!-- Region33&#45;&gt;Region21 -->
<g id="edge24" class="edge">
<title>Region33&#45;&gt;Region21</title>
<path fill="none" stroke="red" d="M194.07,-196.12C180.34,-205.19 163.29,-216.45 148.46,-226.24"/>
<polygon fill="red" stroke="red" points="146.45,-223.38 140.03,-231.81 150.3,-229.22 146.45,-223.38"/>
<text text-anchor="middle" x="191.07" y="-198.72" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Region33&#45;&gt;Region31 -->
<g id="edge25" class="edge">
<title>Region33&#45;&gt;Region31</title>
<path fill="none" stroke="red" d="M220,-196.3C220,-204.02 220,-213.29 220,-221.89"/>
<polygon fill="red" stroke="red" points="216.5,-221.9 220,-231.9 223.5,-221.9 216.5,-221.9"/>
<text text-anchor="middle" x="217" y="-198.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a34 -->
<g id="node21" class="node">
<title>Phi_a34</title>
<ellipse fill="lightyellow" stroke="black" cx="299" cy="-178" rx="27" ry="18"/>
<text text-anchor="middle" x="299" y="-174.3" font-family="Times,serif" font-size="14.00">φ_a</text>
</g>
<!-- Phi_a34&#45;&gt;Phi_a22 -->
<g id="edge27" class="edge">
<title>Phi_a34&#45;&gt;Phi_a22</title>
<path fill="none" stroke="black" d="M317.81,-191.19C335,-202.33 360.62,-218.94 379.99,-231.5"/>
<polygon fill="black" stroke="black" points="378.11,-234.44 388.4,-236.95 381.92,-228.57 378.11,-234.44"/>
<text text-anchor="middle" x="314.81" y="-193.79" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_a34&#45;&gt;Phi_a32 -->
<g id="edge28" class="edge">
<title>Phi_a34&#45;&gt;Phi_a32</title>
<path fill="none" stroke="black" d="M299,-196.3C299,-204.02 299,-213.29 299,-221.89"/>
<polygon fill="black" stroke="black" points="295.5,-221.9 299,-231.9 302.5,-221.9 295.5,-221.9"/>
<text text-anchor="middle" x="296" y="-198.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_a34&#45;&gt;Region33 -->
<g id="edge26" class="edge">
<title>Phi_a34&#45;&gt;Region33</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M271.7,-178C268.88,-178 266.06,-178 263.23,-178"/>
<polygon fill="black" stroke="black" points="263.02,-174.5 253.02,-178 263.02,-181.5 263.02,-174.5"/>
<text text-anchor="middle" x="268.7" y="-171.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Return35&#45;&gt;Region33 -->
<g id="edge29" class="edge">
<title>Return35&#45;&gt;Region33</title>
<path fill="none" stroke="red" d="M249.36,-124.3C244.87,-132.36 239.44,-142.11 234.48,-151.02"/>
<polygon fill="red" stroke="red" points="231.34,-149.46 229.53,-159.9 237.45,-152.86 231.34,-149.46"/>
<text text-anchor="middle" x="246.36" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Return35&#45;&gt;Phi_a34 -->
<g id="edge30" class="edge">
<title>Return35&#45;&gt;Phi_a34</title>
<path fill="none" stroke="black" d="M268.89,-124.3C273.68,-132.68 279.52,-142.9 284.77,-152.1"/>
<polygon fill="black" stroke="black" points="281.77,-153.91 289.77,-160.86 287.85,-150.44 281.77,-153.91"/>
<text text-anchor="middle" x="265.89" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Scope1_0 -->
<g id="node23" class="node">
<title>Scope1_0</title>
<polygon fill="cyan" stroke="transparent" points="655,-95 655,-116 671,-116 671,-95 655,-95"/>
<polygon fill="none" stroke="black" points="655,-95 655,-116 671,-116 671,-95 655,-95"/>
<text text-anchor="start" x="658" y="-101.8" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="671,-95 671,-116 711,-116 711,-95 671,-95"/>
<text text-anchor="start" x="674" y="-101.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="711,-95 711,-116 742,-116 742,-95 711,-95"/>
<text text-anchor="start" x="714" y="-101.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Scope1_0&#45;&gt;Start2 -->
<g id="edge31" class="edge">
<title>Scope1_0:Scope1_0_arg&#45;&gt;Start2:p1</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M727,-117C727,-185.37 648,-180.63 648,-249 648,-249 648,-249 648,-437 648,-525.53 378.1,-590.44 277.07,-594.77"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="276.92,-591.27 267,-595 277.08,-598.27 276.92,-591.27"/>
</g>
<!-- Scope1_1 -->
<g id="node24" class="node">
<title>Scope1_1</title>
<polygon fill="cyan" stroke="transparent" points="586,-95 586,-116 602,-116 602,-95 586,-95"/>
<polygon fill="none" stroke="black" points="586,-95 586,-116 602,-116 602,-95 586,-95"/>
<text text-anchor="start" x="589" y="-101.8" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="602,-95 602,-116 617,-116 617,-95 602,-95"/>
<text text-anchor="start" x="605" y="-101.8" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- Scope1_1&#45;&gt;Phi_a34 -->
<g id="edge32" class="edge">
<title>Scope1_1:Scope1_1_a&#45;&gt;Phi_a34</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M610,-117C610,-172.18 418.84,-177.72 336.26,-177.53"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="336.07,-174.03 326.06,-177.48 336.04,-181.03 336.07,-174.03"/>
</g>
</g>
</svg>