sccd/test/test_files/features/expressions/test_expressions_ortho.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.40.1 (20161225.0304)
 -->
<!-- Title: state transitions Pages: 1 -->
<svg width="498pt" height="1030pt"
 viewBox="0.00 0.00 498.17 1030.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 1026)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1026 494.1698,-1026 494.1698,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M42.1698,-8C42.1698,-8 470.1698,-8 470.1698,-8 476.1698,-8 482.1698,-14 482.1698,-20 482.1698,-20 482.1698,-971 482.1698,-971 482.1698,-977 476.1698,-983 470.1698,-983 470.1698,-983 42.1698,-983 42.1698,-983 36.1698,-983 30.1698,-977 30.1698,-971 30.1698,-971 30.1698,-20 30.1698,-20 30.1698,-14 36.1698,-8 42.1698,-8"/>
<text text-anchor="start" x="252.8344" y="-964.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__p_boolean_logic</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="303.1698,-152 303.1698,-945 474.1698,-945 474.1698,-152 303.1698,-152"/>
<text text-anchor="start" x="351.657" y="-926.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">boolean_logic</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__p_arithmetic</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="166.1698,-16 166.1698,-945 295.1698,-945 295.1698,-16 166.1698,-16"/>
<text text-anchor="start" x="205.1712" y="-926.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">arithmetic</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__p_comparisons</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="46.1698,-288 46.1698,-945 158.1698,-945 158.1698,-288 46.1698,-288"/>
<text text-anchor="start" x="68.1666" y="-926.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">comparisons</text>
</g>
<!-- self_tr__p__p_20 -->
<!-- _p -->
<!-- self_tr__p__p_20&#45;&gt;_p -->
<g id="edge21" class="edge">
<title>self_tr__p__p_20:w&#45;&gt;_p</title>
<path fill="none" stroke="#000000" d="M19.1698,-1016.5C-17.7683,-1016.5 7.6299,-958.0317 25.2485,-924.4751"/>
<polygon fill="#000000" stroke="#000000" points="28.5055,-925.8092 30.1712,-915.3461 22.3442,-922.4868 28.5055,-925.8092"/>
</g>
<!-- __initial -->
<g id="node2" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="79.1698" cy="-1016.5" rx="5.5" ry="5.5"/>
</g>
<!-- __initial&#45;&gt;_p -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_p</title>
<path fill="none" stroke="#000000" d="M74.6237,-1013.1069C68.1101,-1008.1678 56.0707,-998.7408 48.4649,-990.9786"/>
<polygon fill="#000000" stroke="#000000" points="51.1117,-988.6827 42.1698,-983 45.6162,-993.0186 51.1117,-988.6827"/>
<text text-anchor="middle" x="62.5593" y="-994" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p&#45;&gt;self_tr__p__p_20 -->
<g id="edge20" class="edge">
<title>_p:e&#45;&gt;self_tr__p__p_20:e</title>
<path fill="none" stroke="#000000" d="M30.1729,-977.8467C26.101,-999.1056 21.6882,-1016.5 19.1698,-1016.5"/>
<text text-anchor="start" x="28.1698" y="-994" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e &#160;&#160;</text>
</g>
<!-- _p_boolean_logic -->
<!-- _p_boolean_logic_initial -->
<g id="node5" class="node">
<title>_p_boolean_logic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="339.1698" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_boolean_logic_s1 -->
<g id="node11" class="node">
<title>_p_boolean_logic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="367.1698,-814 311.1698,-814 311.1698,-778 367.1698,-778 367.1698,-814"/>
<text text-anchor="start" x="332.8344" y="-792.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M323.5031,-779C323.5031,-779 354.8364,-779 354.8364,-779 360.5031,-779 366.1698,-784.6667 366.1698,-790.3333 366.1698,-790.3333 366.1698,-801.6667 366.1698,-801.6667 366.1698,-807.3333 360.5031,-813 354.8364,-813 354.8364,-813 323.5031,-813 323.5031,-813 317.8364,-813 312.1698,-807.3333 312.1698,-801.6667 312.1698,-801.6667 312.1698,-790.3333 312.1698,-790.3333 312.1698,-784.6667 317.8364,-779 323.5031,-779"/>
</g>
<!-- _p_boolean_logic_initial&#45;&gt;_p_boolean_logic_s1 -->
<g id="edge2" class="edge">
<title>_p_boolean_logic_initial&#45;&gt;_p_boolean_logic_s1</title>
<path fill="none" stroke="#000000" d="M339.1698,-895.8288C339.1698,-891.1736 339.1698,-884.4097 339.1698,-878.5 339.1698,-878.5 339.1698,-878.5 339.1698,-831.5 339.1698,-829.1079 339.1698,-826.6252 339.1698,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="342.6699,-824.0597 339.1698,-814.0598 335.6699,-824.0598 342.6699,-824.0597"/>
<text text-anchor="middle" x="340.5593" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_boolean_logic_ok -->
<g id="node6" class="node">
<title>_p_boolean_logic_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="407.1698,-206 311.1698,-206 311.1698,-160 407.1698,-160 407.1698,-206"/>
<text text-anchor="start" x="352.8344" y="-189.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="316.6742" y="-169.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="311.1698,-183 311.1698,-183 407.1698,-183 407.1698,-183 311.1698,-183"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M324.1698,-161C324.1698,-161 394.1698,-161 394.1698,-161 400.1698,-161 406.1698,-167 406.1698,-173 406.1698,-173 406.1698,-193 406.1698,-193 406.1698,-199 400.1698,-205 394.1698,-205 394.1698,-205 324.1698,-205 324.1698,-205 318.1698,-205 312.1698,-199 312.1698,-193 312.1698,-193 312.1698,-173 312.1698,-173 312.1698,-167 318.1698,-161 324.1698,-161"/>
</g>
<!-- _p_boolean_logic_s5 -->
<g id="node7" class="node">
<title>_p_boolean_logic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="367.1698,-337 311.1698,-337 311.1698,-301 367.1698,-301 367.1698,-337"/>
<text text-anchor="start" x="332.8344" y="-315.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s5</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M323.5031,-302C323.5031,-302 354.8364,-302 354.8364,-302 360.5031,-302 366.1698,-307.6667 366.1698,-313.3333 366.1698,-313.3333 366.1698,-324.6667 366.1698,-324.6667 366.1698,-330.3333 360.5031,-336 354.8364,-336 354.8364,-336 323.5031,-336 323.5031,-336 317.8364,-336 312.1698,-330.3333 312.1698,-324.6667 312.1698,-324.6667 312.1698,-313.3333 312.1698,-313.3333 312.1698,-307.6667 317.8364,-302 323.5031,-302"/>
</g>
<!-- _p_boolean_logic_s5&#45;&gt;_p_boolean_logic_ok -->
<g id="edge3" class="edge">
<title>_p_boolean_logic_s5&#45;&gt;_p_boolean_logic_ok</title>
<path fill="none" stroke="#000000" d="M335.8189,-300.6417C334.4446,-291.5981 333.1698,-280.5115 333.1698,-270.5 333.1698,-270.5 333.1698,-270.5 333.1698,-223.5 333.1698,-220.868 333.5634,-218.2706 334.2539,-215.739"/>
<polygon fill="#000000" stroke="#000000" points="337.5441,-216.9432 338.1828,-206.3677 331.0885,-214.2367 337.5441,-216.9432"/>
<text text-anchor="start" x="333.1698" y="-244" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[not (false or false and true)] &#160;&#160;</text>
</g>
<!-- _p_boolean_logic_s4 -->
<g id="node8" class="node">
<title>_p_boolean_logic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="367.1698,-460 311.1698,-460 311.1698,-424 367.1698,-424 367.1698,-460"/>
<text text-anchor="start" x="332.8344" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M323.5031,-425C323.5031,-425 354.8364,-425 354.8364,-425 360.5031,-425 366.1698,-430.6667 366.1698,-436.3333 366.1698,-436.3333 366.1698,-447.6667 366.1698,-447.6667 366.1698,-453.3333 360.5031,-459 354.8364,-459 354.8364,-459 323.5031,-459 323.5031,-459 317.8364,-459 312.1698,-453.3333 312.1698,-447.6667 312.1698,-447.6667 312.1698,-436.3333 312.1698,-436.3333 312.1698,-430.6667 317.8364,-425 323.5031,-425"/>
</g>
<!-- _p_boolean_logic_s4&#45;&gt;_p_boolean_logic_s5 -->
<g id="edge4" class="edge">
<title>_p_boolean_logic_s4&#45;&gt;_p_boolean_logic_s5</title>
<path fill="none" stroke="#000000" d="M334.8731,-423.6741C333.9113,-418.1833 333.1698,-412.1255 333.1698,-406.5 333.1698,-406.5 333.1698,-406.5 333.1698,-359.5 333.1698,-355.4573 333.4659,-351.2119 333.9266,-347.0534"/>
<polygon fill="#000000" stroke="#000000" points="337.4051,-347.4511 335.3359,-337.0603 330.4737,-346.4736 337.4051,-347.4511"/>
<text text-anchor="start" x="333.1698" y="-380" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[not (true and false or false)] &#160;&#160;</text>
</g>
<!-- _p_boolean_logic_s3 -->
<g id="node9" class="node">
<title>_p_boolean_logic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="367.1698,-578 311.1698,-578 311.1698,-542 367.1698,-542 367.1698,-578"/>
<text text-anchor="start" x="332.8344" y="-556.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M323.5031,-543C323.5031,-543 354.8364,-543 354.8364,-543 360.5031,-543 366.1698,-548.6667 366.1698,-554.3333 366.1698,-554.3333 366.1698,-565.6667 366.1698,-565.6667 366.1698,-571.3333 360.5031,-577 354.8364,-577 354.8364,-577 323.5031,-577 323.5031,-577 317.8364,-577 312.1698,-571.3333 312.1698,-565.6667 312.1698,-565.6667 312.1698,-554.3333 312.1698,-554.3333 312.1698,-548.6667 317.8364,-543 323.5031,-543"/>
</g>
<!-- _p_boolean_logic_s3&#45;&gt;_p_boolean_logic_s4 -->
<g id="edge5" class="edge">
<title>_p_boolean_logic_s3&#45;&gt;_p_boolean_logic_s4</title>
<path fill="none" stroke="#000000" d="M339.1698,-541.9402C339.1698,-536.3497 339.1698,-530.1701 339.1698,-524.5 339.1698,-524.5 339.1698,-524.5 339.1698,-477.5 339.1698,-475.1079 339.1698,-472.6252 339.1698,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="342.6699,-470.0597 339.1698,-460.0598 335.6699,-470.0598 342.6699,-470.0597"/>
<text text-anchor="start" x="339.1698" y="-498" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[true and not false] &#160;&#160;</text>
</g>
<!-- _p_boolean_logic_s2 -->
<g id="node10" class="node">
<title>_p_boolean_logic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="367.1698,-696 311.1698,-696 311.1698,-660 367.1698,-660 367.1698,-696"/>
<text text-anchor="start" x="332.8344" y="-674.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M323.5031,-661C323.5031,-661 354.8364,-661 354.8364,-661 360.5031,-661 366.1698,-666.6667 366.1698,-672.3333 366.1698,-672.3333 366.1698,-683.6667 366.1698,-683.6667 366.1698,-689.3333 360.5031,-695 354.8364,-695 354.8364,-695 323.5031,-695 323.5031,-695 317.8364,-695 312.1698,-689.3333 312.1698,-683.6667 312.1698,-683.6667 312.1698,-672.3333 312.1698,-672.3333 312.1698,-666.6667 317.8364,-661 323.5031,-661"/>
</g>
<!-- _p_boolean_logic_s2&#45;&gt;_p_boolean_logic_s3 -->
<g id="edge6" class="edge">
<title>_p_boolean_logic_s2&#45;&gt;_p_boolean_logic_s3</title>
<path fill="none" stroke="#000000" d="M339.1698,-659.9402C339.1698,-654.3497 339.1698,-648.1701 339.1698,-642.5 339.1698,-642.5 339.1698,-642.5 339.1698,-595.5 339.1698,-593.1079 339.1698,-590.6252 339.1698,-588.1342"/>
<polygon fill="#000000" stroke="#000000" points="342.6699,-588.0597 339.1698,-578.0598 335.6699,-588.0598 342.6699,-588.0597"/>
<text text-anchor="start" x="339.1698" y="-616" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[false or true] &#160;&#160;</text>
</g>
<!-- _p_boolean_logic_s1&#45;&gt;_p_boolean_logic_s2 -->
<g id="edge7" class="edge">
<title>_p_boolean_logic_s1&#45;&gt;_p_boolean_logic_s2</title>
<path fill="none" stroke="#000000" d="M339.1698,-777.9402C339.1698,-772.3497 339.1698,-766.1701 339.1698,-760.5 339.1698,-760.5 339.1698,-760.5 339.1698,-713.5 339.1698,-711.1079 339.1698,-708.6252 339.1698,-706.1342"/>
<polygon fill="#000000" stroke="#000000" points="342.6699,-706.0597 339.1698,-696.0598 335.6699,-706.0598 342.6699,-706.0597"/>
<text text-anchor="start" x="339.1698" y="-734" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[true] &#160;&#160;</text>
</g>
<!-- _p_arithmetic -->
<!-- _p_arithmetic_initial -->
<g id="node13" class="node">
<title>_p_arithmetic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="202.1698" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_arithmetic_s1 -->
<g id="node20" class="node">
<title>_p_arithmetic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="230.1698,-814 174.1698,-814 174.1698,-778 230.1698,-778 230.1698,-814"/>
<text text-anchor="start" x="195.8344" y="-792.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M186.5031,-779C186.5031,-779 217.8364,-779 217.8364,-779 223.5031,-779 229.1698,-784.6667 229.1698,-790.3333 229.1698,-790.3333 229.1698,-801.6667 229.1698,-801.6667 229.1698,-807.3333 223.5031,-813 217.8364,-813 217.8364,-813 186.5031,-813 186.5031,-813 180.8364,-813 175.1698,-807.3333 175.1698,-801.6667 175.1698,-801.6667 175.1698,-790.3333 175.1698,-790.3333 175.1698,-784.6667 180.8364,-779 186.5031,-779"/>
</g>
<!-- _p_arithmetic_initial&#45;&gt;_p_arithmetic_s1 -->
<g id="edge8" class="edge">
<title>_p_arithmetic_initial&#45;&gt;_p_arithmetic_s1</title>
<path fill="none" stroke="#000000" d="M202.1698,-895.8288C202.1698,-891.1736 202.1698,-884.4097 202.1698,-878.5 202.1698,-878.5 202.1698,-878.5 202.1698,-831.5 202.1698,-829.1079 202.1698,-826.6252 202.1698,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="205.6699,-824.0597 202.1698,-814.0598 198.6699,-824.0598 205.6699,-824.0597"/>
<text text-anchor="middle" x="203.5593" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_arithmetic_ok -->
<g id="node14" class="node">
<title>_p_arithmetic_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="270.1698,-70 174.1698,-70 174.1698,-24 270.1698,-24 270.1698,-70"/>
<text text-anchor="start" x="215.8344" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="179.6742" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="174.1698,-47 174.1698,-47 270.1698,-47 270.1698,-47 174.1698,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M187.1698,-25C187.1698,-25 257.1698,-25 257.1698,-25 263.1698,-25 269.1698,-31 269.1698,-37 269.1698,-37 269.1698,-57 269.1698,-57 269.1698,-63 263.1698,-69 257.1698,-69 257.1698,-69 187.1698,-69 187.1698,-69 181.1698,-69 175.1698,-63 175.1698,-57 175.1698,-57 175.1698,-37 175.1698,-37 175.1698,-31 181.1698,-25 187.1698,-25"/>
</g>
<!-- _p_arithmetic_s6 -->
<g id="node15" class="node">
<title>_p_arithmetic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="240.1698,-201 184.1698,-201 184.1698,-165 240.1698,-165 240.1698,-201"/>
<text text-anchor="start" x="205.8344" y="-179.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s6</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M196.5031,-166C196.5031,-166 227.8364,-166 227.8364,-166 233.5031,-166 239.1698,-171.6667 239.1698,-177.3333 239.1698,-177.3333 239.1698,-188.6667 239.1698,-188.6667 239.1698,-194.3333 233.5031,-200 227.8364,-200 227.8364,-200 196.5031,-200 196.5031,-200 190.8364,-200 185.1698,-194.3333 185.1698,-188.6667 185.1698,-188.6667 185.1698,-177.3333 185.1698,-177.3333 185.1698,-171.6667 190.8364,-166 196.5031,-166"/>
</g>
<!-- _p_arithmetic_s6&#45;&gt;_p_arithmetic_ok -->
<g id="edge9" class="edge">
<title>_p_arithmetic_s6&#45;&gt;_p_arithmetic_ok</title>
<path fill="none" stroke="#000000" d="M214.9621,-164.6215C216.1075,-155.5732 217.1698,-144.4884 217.1698,-134.5 217.1698,-134.5 217.1698,-134.5 217.1698,-87.5 217.1698,-85.1089 217.2567,-82.6444 217.4076,-80.1674"/>
<polygon fill="#000000" stroke="#000000" points="220.9056,-80.3469 218.3294,-70.0701 213.9346,-79.7104 220.9056,-80.3469"/>
<text text-anchor="start" x="217.1698" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[5 % 2 == 1] &#160;&#160;</text>
</g>
<!-- _p_arithmetic_s5 -->
<g id="node16" class="node">
<title>_p_arithmetic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="230.1698,-337 174.1698,-337 174.1698,-301 230.1698,-301 230.1698,-337"/>
<text text-anchor="start" x="195.8344" y="-315.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s5</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M186.5031,-302C186.5031,-302 217.8364,-302 217.8364,-302 223.5031,-302 229.1698,-307.6667 229.1698,-313.3333 229.1698,-313.3333 229.1698,-324.6667 229.1698,-324.6667 229.1698,-330.3333 223.5031,-336 217.8364,-336 217.8364,-336 186.5031,-336 186.5031,-336 180.8364,-336 175.1698,-330.3333 175.1698,-324.6667 175.1698,-324.6667 175.1698,-313.3333 175.1698,-313.3333 175.1698,-307.6667 180.8364,-302 186.5031,-302"/>
</g>
<!-- _p_arithmetic_s5&#45;&gt;_p_arithmetic_s6 -->
<g id="edge10" class="edge">
<title>_p_arithmetic_s5&#45;&gt;_p_arithmetic_s6</title>
<path fill="none" stroke="#000000" d="M198.8189,-300.6417C197.4446,-291.5981 196.1698,-280.5115 196.1698,-270.5 196.1698,-270.5 196.1698,-270.5 196.1698,-223.5 196.1698,-219.3656 196.8999,-215.1494 198.0483,-211.075"/>
<polygon fill="#000000" stroke="#000000" points="201.4507,-211.9605 201.5866,-201.3665 194.8739,-209.5635 201.4507,-211.9605"/>
<text text-anchor="start" x="196.1698" y="-244" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[256 == 2 ** 2 ** 3] &#160;&#160;</text>
</g>
<!-- _p_arithmetic_s4 -->
<g id="node17" class="node">
<title>_p_arithmetic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="230.1698,-460 174.1698,-460 174.1698,-424 230.1698,-424 230.1698,-460"/>
<text text-anchor="start" x="195.8344" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M186.5031,-425C186.5031,-425 217.8364,-425 217.8364,-425 223.5031,-425 229.1698,-430.6667 229.1698,-436.3333 229.1698,-436.3333 229.1698,-447.6667 229.1698,-447.6667 229.1698,-453.3333 223.5031,-459 217.8364,-459 217.8364,-459 186.5031,-459 186.5031,-459 180.8364,-459 175.1698,-453.3333 175.1698,-447.6667 175.1698,-447.6667 175.1698,-436.3333 175.1698,-436.3333 175.1698,-430.6667 180.8364,-425 186.5031,-425"/>
</g>
<!-- _p_arithmetic_s4&#45;&gt;_p_arithmetic_s5 -->
<g id="edge11" class="edge">
<title>_p_arithmetic_s4&#45;&gt;_p_arithmetic_s5</title>
<path fill="none" stroke="#000000" d="M202.1698,-423.9402C202.1698,-418.3497 202.1698,-412.1701 202.1698,-406.5 202.1698,-406.5 202.1698,-406.5 202.1698,-359.5 202.1698,-355.6152 202.1698,-351.5209 202.1698,-347.4883"/>
<polygon fill="#000000" stroke="#000000" points="205.6699,-347.1447 202.1698,-337.1447 198.6699,-347.1448 205.6699,-347.1447"/>
<text text-anchor="start" x="202.1698" y="-380" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[21 // 3 == 7] &#160;&#160;</text>
</g>
<!-- _p_arithmetic_s3 -->
<g id="node18" class="node">
<title>_p_arithmetic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="230.1698,-578 174.1698,-578 174.1698,-542 230.1698,-542 230.1698,-578"/>
<text text-anchor="start" x="195.8344" y="-556.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M186.5031,-543C186.5031,-543 217.8364,-543 217.8364,-543 223.5031,-543 229.1698,-548.6667 229.1698,-554.3333 229.1698,-554.3333 229.1698,-565.6667 229.1698,-565.6667 229.1698,-571.3333 223.5031,-577 217.8364,-577 217.8364,-577 186.5031,-577 186.5031,-577 180.8364,-577 175.1698,-571.3333 175.1698,-565.6667 175.1698,-565.6667 175.1698,-554.3333 175.1698,-554.3333 175.1698,-548.6667 180.8364,-543 186.5031,-543"/>
</g>
<!-- _p_arithmetic_s3&#45;&gt;_p_arithmetic_s4 -->
<g id="edge12" class="edge">
<title>_p_arithmetic_s3&#45;&gt;_p_arithmetic_s4</title>
<path fill="none" stroke="#000000" d="M202.1698,-541.9402C202.1698,-536.3497 202.1698,-530.1701 202.1698,-524.5 202.1698,-524.5 202.1698,-524.5 202.1698,-477.5 202.1698,-475.1079 202.1698,-472.6252 202.1698,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="205.6699,-470.0597 202.1698,-460.0598 198.6699,-470.0598 205.6699,-470.0597"/>
<text text-anchor="start" x="202.1698" y="-498" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 * 3 == 6] &#160;&#160;</text>
</g>
<!-- _p_arithmetic_s2 -->
<g id="node19" class="node">
<title>_p_arithmetic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="230.1698,-696 174.1698,-696 174.1698,-660 230.1698,-660 230.1698,-696"/>
<text text-anchor="start" x="195.8344" y="-674.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M186.5031,-661C186.5031,-661 217.8364,-661 217.8364,-661 223.5031,-661 229.1698,-666.6667 229.1698,-672.3333 229.1698,-672.3333 229.1698,-683.6667 229.1698,-683.6667 229.1698,-689.3333 223.5031,-695 217.8364,-695 217.8364,-695 186.5031,-695 186.5031,-695 180.8364,-695 175.1698,-689.3333 175.1698,-683.6667 175.1698,-683.6667 175.1698,-672.3333 175.1698,-672.3333 175.1698,-666.6667 180.8364,-661 186.5031,-661"/>
</g>
<!-- _p_arithmetic_s2&#45;&gt;_p_arithmetic_s3 -->
<g id="edge13" class="edge">
<title>_p_arithmetic_s2&#45;&gt;_p_arithmetic_s3</title>
<path fill="none" stroke="#000000" d="M198.5892,-659.6439C197.7878,-654.1523 197.1698,-648.1016 197.1698,-642.5 197.1698,-642.5 197.1698,-642.5 197.1698,-595.5 197.1698,-593.2243 197.2718,-590.8746 197.4466,-588.5183"/>
<polygon fill="#000000" stroke="#000000" points="200.9499,-588.6846 198.5892,-578.3561 193.9937,-587.9024 200.9499,-588.6846"/>
<text text-anchor="start" x="197.1698" y="-616" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[42 == 52 &#45; 11 + 1] &#160;&#160;</text>
</g>
<!-- _p_arithmetic_s1&#45;&gt;_p_arithmetic_s2 -->
<g id="edge14" class="edge">
<title>_p_arithmetic_s1&#45;&gt;_p_arithmetic_s2</title>
<path fill="none" stroke="#000000" d="M202.1698,-777.9402C202.1698,-772.3497 202.1698,-766.1701 202.1698,-760.5 202.1698,-760.5 202.1698,-760.5 202.1698,-713.5 202.1698,-711.1079 202.1698,-708.6252 202.1698,-706.1342"/>
<polygon fill="#000000" stroke="#000000" points="205.6699,-706.0597 202.1698,-696.0598 198.6699,-706.0598 205.6699,-706.0597"/>
<text text-anchor="start" x="202.1698" y="-734" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 + 1 == 2] &#160;&#160;</text>
</g>
<!-- _p_comparisons -->
<!-- _p_comparisons_initial -->
<g id="node22" class="node">
<title>_p_comparisons_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="102.1698" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_comparisons_s1 -->
<g id="node27" class="node">
<title>_p_comparisons_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="130.1698,-814 74.1698,-814 74.1698,-778 130.1698,-778 130.1698,-814"/>
<text text-anchor="start" x="95.8344" y="-792.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M86.5031,-779C86.5031,-779 117.8364,-779 117.8364,-779 123.5031,-779 129.1698,-784.6667 129.1698,-790.3333 129.1698,-790.3333 129.1698,-801.6667 129.1698,-801.6667 129.1698,-807.3333 123.5031,-813 117.8364,-813 117.8364,-813 86.5031,-813 86.5031,-813 80.8364,-813 75.1698,-807.3333 75.1698,-801.6667 75.1698,-801.6667 75.1698,-790.3333 75.1698,-790.3333 75.1698,-784.6667 80.8364,-779 86.5031,-779"/>
</g>
<!-- _p_comparisons_initial&#45;&gt;_p_comparisons_s1 -->
<g id="edge15" class="edge">
<title>_p_comparisons_initial&#45;&gt;_p_comparisons_s1</title>
<path fill="none" stroke="#000000" d="M102.1698,-895.8288C102.1698,-891.1736 102.1698,-884.4097 102.1698,-878.5 102.1698,-878.5 102.1698,-878.5 102.1698,-831.5 102.1698,-829.1079 102.1698,-826.6252 102.1698,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="105.6699,-824.0597 102.1698,-814.0598 98.6699,-824.0598 105.6699,-824.0597"/>
<text text-anchor="middle" x="103.5593" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_comparisons_ok -->
<g id="node23" class="node">
<title>_p_comparisons_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="150.1698,-342 54.1698,-342 54.1698,-296 150.1698,-296 150.1698,-342"/>
<text text-anchor="start" x="95.8344" y="-325.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="59.6742" y="-305.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="54.1698,-319 54.1698,-319 150.1698,-319 150.1698,-319 54.1698,-319"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M67.1698,-297C67.1698,-297 137.1698,-297 137.1698,-297 143.1698,-297 149.1698,-303 149.1698,-309 149.1698,-309 149.1698,-329 149.1698,-329 149.1698,-335 143.1698,-341 137.1698,-341 137.1698,-341 67.1698,-341 67.1698,-341 61.1698,-341 55.1698,-335 55.1698,-329 55.1698,-329 55.1698,-309 55.1698,-309 55.1698,-303 61.1698,-297 67.1698,-297"/>
</g>
<!-- _p_comparisons_s4 -->
<g id="node24" class="node">
<title>_p_comparisons_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="130.1698,-460 74.1698,-460 74.1698,-424 130.1698,-424 130.1698,-460"/>
<text text-anchor="start" x="95.8344" y="-438.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M86.5031,-425C86.5031,-425 117.8364,-425 117.8364,-425 123.5031,-425 129.1698,-430.6667 129.1698,-436.3333 129.1698,-436.3333 129.1698,-447.6667 129.1698,-447.6667 129.1698,-453.3333 123.5031,-459 117.8364,-459 117.8364,-459 86.5031,-459 86.5031,-459 80.8364,-459 75.1698,-453.3333 75.1698,-447.6667 75.1698,-447.6667 75.1698,-436.3333 75.1698,-436.3333 75.1698,-430.6667 80.8364,-425 86.5031,-425"/>
</g>
<!-- _p_comparisons_s4&#45;&gt;_p_comparisons_ok -->
<g id="edge16" class="edge">
<title>_p_comparisons_s4&#45;&gt;_p_comparisons_ok</title>
<path fill="none" stroke="#000000" d="M102.1698,-423.9402C102.1698,-418.3497 102.1698,-412.1701 102.1698,-406.5 102.1698,-406.5 102.1698,-406.5 102.1698,-359.5 102.1698,-357.127 102.1698,-354.6757 102.1698,-352.2081"/>
<polygon fill="#000000" stroke="#000000" points="105.6699,-352.1306 102.1698,-342.1306 98.6699,-352.1306 105.6699,-352.1306"/>
<text text-anchor="start" x="102.1698" y="-380" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 &gt; 1] &#160;&#160;</text>
</g>
<!-- _p_comparisons_s3 -->
<g id="node25" class="node">
<title>_p_comparisons_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="130.1698,-578 74.1698,-578 74.1698,-542 130.1698,-542 130.1698,-578"/>
<text text-anchor="start" x="95.8344" y="-556.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M86.5031,-543C86.5031,-543 117.8364,-543 117.8364,-543 123.5031,-543 129.1698,-548.6667 129.1698,-554.3333 129.1698,-554.3333 129.1698,-565.6667 129.1698,-565.6667 129.1698,-571.3333 123.5031,-577 117.8364,-577 117.8364,-577 86.5031,-577 86.5031,-577 80.8364,-577 75.1698,-571.3333 75.1698,-565.6667 75.1698,-565.6667 75.1698,-554.3333 75.1698,-554.3333 75.1698,-548.6667 80.8364,-543 86.5031,-543"/>
</g>
<!-- _p_comparisons_s3&#45;&gt;_p_comparisons_s4 -->
<g id="edge17" class="edge">
<title>_p_comparisons_s3&#45;&gt;_p_comparisons_s4</title>
<path fill="none" stroke="#000000" d="M102.1698,-541.9402C102.1698,-536.3497 102.1698,-530.1701 102.1698,-524.5 102.1698,-524.5 102.1698,-524.5 102.1698,-477.5 102.1698,-475.1079 102.1698,-472.6252 102.1698,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="105.6699,-470.0597 102.1698,-460.0598 98.6699,-470.0598 105.6699,-470.0597"/>
<text text-anchor="start" x="102.1698" y="-498" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 &lt; 2] &#160;&#160;</text>
</g>
<!-- _p_comparisons_s2 -->
<g id="node26" class="node">
<title>_p_comparisons_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="130.1698,-696 74.1698,-696 74.1698,-660 130.1698,-660 130.1698,-696"/>
<text text-anchor="start" x="95.8344" y="-674.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M86.5031,-661C86.5031,-661 117.8364,-661 117.8364,-661 123.5031,-661 129.1698,-666.6667 129.1698,-672.3333 129.1698,-672.3333 129.1698,-683.6667 129.1698,-683.6667 129.1698,-689.3333 123.5031,-695 117.8364,-695 117.8364,-695 86.5031,-695 86.5031,-695 80.8364,-695 75.1698,-689.3333 75.1698,-683.6667 75.1698,-683.6667 75.1698,-672.3333 75.1698,-672.3333 75.1698,-666.6667 80.8364,-661 86.5031,-661"/>
</g>
<!-- _p_comparisons_s2&#45;&gt;_p_comparisons_s3 -->
<g id="edge18" class="edge">
<title>_p_comparisons_s2&#45;&gt;_p_comparisons_s3</title>
<path fill="none" stroke="#000000" d="M102.1698,-659.9402C102.1698,-654.3497 102.1698,-648.1701 102.1698,-642.5 102.1698,-642.5 102.1698,-642.5 102.1698,-595.5 102.1698,-593.1079 102.1698,-590.6252 102.1698,-588.1342"/>
<polygon fill="#000000" stroke="#000000" points="105.6699,-588.0597 102.1698,-578.0598 98.6699,-588.0598 105.6699,-588.0597"/>
<text text-anchor="start" x="102.1698" y="-616" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 != 2] &#160;&#160;</text>
</g>
<!-- _p_comparisons_s1&#45;&gt;_p_comparisons_s2 -->
<g id="edge19" class="edge">
<title>_p_comparisons_s1&#45;&gt;_p_comparisons_s2</title>
<path fill="none" stroke="#000000" d="M102.1698,-777.9402C102.1698,-772.3497 102.1698,-766.1701 102.1698,-760.5 102.1698,-760.5 102.1698,-760.5 102.1698,-713.5 102.1698,-711.1079 102.1698,-708.6252 102.1698,-706.1342"/>
<polygon fill="#000000" stroke="#000000" points="105.6699,-706.0597 102.1698,-696.0598 98.6699,-706.0598 105.6699,-706.0597"/>
<text text-anchor="start" x="102.1698" y="-734" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 == 1] &#160;&#160;</text>
</g>
</g>
</svg>