sccd/test/test_files/features/action_lang/test_expressions.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="207pt" height="1824pt"
 viewBox="0.00 0.00 207.00 1824.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 1820)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1820 203,-1820 203,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__boolean_logic</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M32,-74C32,-74 179,-74 179,-74 185,-74 191,-80 191,-86 191,-86 191,-611 191,-611 191,-617 185,-623 179,-623 179,-623 32,-623 32,-623 26,-623 20,-617 20,-611 20,-611 20,-86 20,-86 20,-80 26,-74 32,-74"/>
<text text-anchor="start" x="68.4872" y="-604.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">boolean_logic</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__arithmetic</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M67,-651C67,-651 172,-651 172,-651 178,-651 184,-657 184,-663 184,-663 184,-1270 184,-1270 184,-1276 178,-1282 172,-1282 172,-1282 67,-1282 67,-1282 61,-1282 55,-1276 55,-1270 55,-1270 55,-663 55,-663 55,-657 61,-651 67,-651"/>
<text text-anchor="start" x="94.0014" y="-1263.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">arithmetic</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__comparisons</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M103,-1310C103,-1310 171,-1310 171,-1310 177,-1310 183,-1316 183,-1322 183,-1322 183,-1765 183,-1765 183,-1771 177,-1777 171,-1777 171,-1777 103,-1777 103,-1777 97,-1777 91,-1771 91,-1765 91,-1765 91,-1322 91,-1322 91,-1316 97,-1310 103,-1310"/>
<text text-anchor="start" x="102.9968" y="-1758.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">comparisons</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="168" cy="-1810.5" rx="5.5" ry="5.5"/>
</g>
<!-- _comparisons -->
<!-- __initial&#45;&gt;_comparisons -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_comparisons</title>
<path fill="none" stroke="#000000" d="M168,-1804.9623C168,-1800.7143 168,-1794.3733 168,-1787.1925"/>
<polygon fill="#000000" stroke="#000000" points="171.5001,-1786.9976 168,-1776.9976 164.5001,-1786.9976 171.5001,-1786.9976"/>
<text text-anchor="middle" x="169.3895" y="-1788" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _final -->
<g id="node2" class="node">
<title>_final</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="112,-46 0,-46 0,0 112,0 112,-46"/>
<text text-anchor="start" x="44.999" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">final</text>
<text text-anchor="start" x="5.5028" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.all_good</text>
<polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 112,-23 112,-23 0,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 99,-1 99,-1 105,-1 111,-7 111,-13 111,-13 111,-33 111,-33 111,-39 105,-45 99,-45 99,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
</g>
<!-- _boolean_logic -->
<!-- _boolean_logic_initial -->
<g id="node4" class="node">
<title>_boolean_logic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="56" cy="-579.5" rx="5.5" ry="5.5"/>
</g>
<!-- _boolean_logic_s1 -->
<g id="node10" class="node">
<title>_boolean_logic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-528 28,-528 28,-492 84,-492 84,-528"/>
<text text-anchor="start" x="49.6646" y="-506.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-493C40.3333,-493 71.6667,-493 71.6667,-493 77.3333,-493 83,-498.6667 83,-504.3333 83,-504.3333 83,-515.6667 83,-515.6667 83,-521.3333 77.3333,-527 71.6667,-527 71.6667,-527 40.3333,-527 40.3333,-527 34.6667,-527 29,-521.3333 29,-515.6667 29,-515.6667 29,-504.3333 29,-504.3333 29,-498.6667 34.6667,-493 40.3333,-493"/>
</g>
<!-- _boolean_logic_initial&#45;&gt;_boolean_logic_s1 -->
<g id="edge2" class="edge">
<title>_boolean_logic_initial&#45;&gt;_boolean_logic_s1</title>
<path fill="none" stroke="#000000" d="M56,-573.5745C56,-565.7003 56,-551.2498 56,-538.1135"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-538.0109 56,-528.011 52.5001,-538.011 59.5001,-538.0109"/>
<text text-anchor="middle" x="57.3895" y="-548" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _boolean_logic_s6 -->
<g id="node5" class="node">
<title>_boolean_logic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-118 28,-118 28,-82 84,-82 84,-118"/>
<text text-anchor="start" x="49.6646" y="-96.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s6</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-83C40.3333,-83 71.6667,-83 71.6667,-83 77.3333,-83 83,-88.6667 83,-94.3333 83,-94.3333 83,-105.6667 83,-105.6667 83,-111.3333 77.3333,-117 71.6667,-117 71.6667,-117 40.3333,-117 40.3333,-117 34.6667,-117 29,-111.3333 29,-105.6667 29,-105.6667 29,-94.3333 29,-94.3333 29,-88.6667 34.6667,-83 40.3333,-83"/>
</g>
<!-- _boolean_logic_s6&#45;&gt;_final -->
<g id="edge3" class="edge">
<title>_boolean_logic_s6&#45;&gt;_final</title>
<path fill="none" stroke="#000000" d="M56,-81.7521C56,-74.0806 56,-64.9093 56,-56.1197"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-56.0895 56,-46.0895 52.5001,-56.0895 59.5001,-56.0895"/>
<text text-anchor="middle" x="57.3895" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _boolean_logic_s5 -->
<g id="node6" class="node">
<title>_boolean_logic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-200 28,-200 28,-164 84,-164 84,-200"/>
<text text-anchor="start" x="49.6646" y="-178.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s5</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-165C40.3333,-165 71.6667,-165 71.6667,-165 77.3333,-165 83,-170.6667 83,-176.3333 83,-176.3333 83,-187.6667 83,-187.6667 83,-193.3333 77.3333,-199 71.6667,-199 71.6667,-199 40.3333,-199 40.3333,-199 34.6667,-199 29,-193.3333 29,-187.6667 29,-187.6667 29,-176.3333 29,-176.3333 29,-170.6667 34.6667,-165 40.3333,-165"/>
</g>
<!-- _boolean_logic_s5&#45;&gt;_boolean_logic_s6 -->
<g id="edge4" class="edge">
<title>_boolean_logic_s5&#45;&gt;_boolean_logic_s6</title>
<path fill="none" stroke="#000000" d="M56,-163.8015C56,-153.3976 56,-140.1215 56,-128.3768"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-128.1476 56,-118.1476 52.5001,-128.1476 59.5001,-128.1476"/>
<text text-anchor="start" x="56" y="-138" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[not (false or false and true)] &#160;&#160;</text>
</g>
<!-- _boolean_logic_s4 -->
<g id="node7" class="node">
<title>_boolean_logic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-282 28,-282 28,-246 84,-246 84,-282"/>
<text text-anchor="start" x="49.6646" y="-260.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-247C40.3333,-247 71.6667,-247 71.6667,-247 77.3333,-247 83,-252.6667 83,-258.3333 83,-258.3333 83,-269.6667 83,-269.6667 83,-275.3333 77.3333,-281 71.6667,-281 71.6667,-281 40.3333,-281 40.3333,-281 34.6667,-281 29,-275.3333 29,-269.6667 29,-269.6667 29,-258.3333 29,-258.3333 29,-252.6667 34.6667,-247 40.3333,-247"/>
</g>
<!-- _boolean_logic_s4&#45;&gt;_boolean_logic_s5 -->
<g id="edge5" class="edge">
<title>_boolean_logic_s4&#45;&gt;_boolean_logic_s5</title>
<path fill="none" stroke="#000000" d="M56,-245.8015C56,-235.3976 56,-222.1215 56,-210.3768"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-210.1476 56,-200.1476 52.5001,-210.1476 59.5001,-210.1476"/>
<text text-anchor="start" x="56" y="-220" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[not (true and false or false)] &#160;&#160;</text>
</g>
<!-- _boolean_logic_s3 -->
<g id="node8" class="node">
<title>_boolean_logic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-364 28,-364 28,-328 84,-328 84,-364"/>
<text text-anchor="start" x="49.6646" y="-342.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-329C40.3333,-329 71.6667,-329 71.6667,-329 77.3333,-329 83,-334.6667 83,-340.3333 83,-340.3333 83,-351.6667 83,-351.6667 83,-357.3333 77.3333,-363 71.6667,-363 71.6667,-363 40.3333,-363 40.3333,-363 34.6667,-363 29,-357.3333 29,-351.6667 29,-351.6667 29,-340.3333 29,-340.3333 29,-334.6667 34.6667,-329 40.3333,-329"/>
</g>
<!-- _boolean_logic_s3&#45;&gt;_boolean_logic_s4 -->
<g id="edge6" class="edge">
<title>_boolean_logic_s3&#45;&gt;_boolean_logic_s4</title>
<path fill="none" stroke="#000000" d="M56,-327.8015C56,-317.3976 56,-304.1215 56,-292.3768"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-292.1476 56,-282.1476 52.5001,-292.1476 59.5001,-292.1476"/>
<text text-anchor="start" x="56" y="-302" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[true and not false] &#160;&#160;</text>
</g>
<!-- _boolean_logic_s2 -->
<g id="node9" class="node">
<title>_boolean_logic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="84,-446 28,-446 28,-410 84,-410 84,-446"/>
<text text-anchor="start" x="49.6646" y="-424.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.3333,-411C40.3333,-411 71.6667,-411 71.6667,-411 77.3333,-411 83,-416.6667 83,-422.3333 83,-422.3333 83,-433.6667 83,-433.6667 83,-439.3333 77.3333,-445 71.6667,-445 71.6667,-445 40.3333,-445 40.3333,-445 34.6667,-445 29,-439.3333 29,-433.6667 29,-433.6667 29,-422.3333 29,-422.3333 29,-416.6667 34.6667,-411 40.3333,-411"/>
</g>
<!-- _boolean_logic_s2&#45;&gt;_boolean_logic_s3 -->
<g id="edge7" class="edge">
<title>_boolean_logic_s2&#45;&gt;_boolean_logic_s3</title>
<path fill="none" stroke="#000000" d="M56,-409.8015C56,-399.3976 56,-386.1215 56,-374.3768"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-374.1476 56,-364.1476 52.5001,-374.1476 59.5001,-374.1476"/>
<text text-anchor="start" x="56" y="-384" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[false or true] &#160;&#160;</text>
</g>
<!-- _boolean_logic_s1&#45;&gt;_boolean_logic_s2 -->
<g id="edge8" class="edge">
<title>_boolean_logic_s1&#45;&gt;_boolean_logic_s2</title>
<path fill="none" stroke="#000000" d="M56,-491.8015C56,-481.3976 56,-468.1215 56,-456.3768"/>
<polygon fill="#000000" stroke="#000000" points="59.5001,-456.1476 56,-446.1476 52.5001,-456.1476 59.5001,-456.1476"/>
<text text-anchor="start" x="56" y="-466" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[true] &#160;&#160;</text>
</g>
<!-- _arithmetic -->
<!-- _arithmetic_initial -->
<g id="node12" class="node">
<title>_arithmetic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="91" cy="-1238.5" rx="5.5" ry="5.5"/>
</g>
<!-- _arithmetic_s1 -->
<g id="node19" class="node">
<title>_arithmetic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-1187 63,-1187 63,-1151 119,-1151 119,-1187"/>
<text text-anchor="start" x="84.6646" y="-1165.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-1152C75.3333,-1152 106.6667,-1152 106.6667,-1152 112.3333,-1152 118,-1157.6667 118,-1163.3333 118,-1163.3333 118,-1174.6667 118,-1174.6667 118,-1180.3333 112.3333,-1186 106.6667,-1186 106.6667,-1186 75.3333,-1186 75.3333,-1186 69.6667,-1186 64,-1180.3333 64,-1174.6667 64,-1174.6667 64,-1163.3333 64,-1163.3333 64,-1157.6667 69.6667,-1152 75.3333,-1152"/>
</g>
<!-- _arithmetic_initial&#45;&gt;_arithmetic_s1 -->
<g id="edge9" class="edge">
<title>_arithmetic_initial&#45;&gt;_arithmetic_s1</title>
<path fill="none" stroke="#000000" d="M91,-1232.5745C91,-1224.7003 91,-1210.2498 91,-1197.1135"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-1197.0109 91,-1187.011 87.5001,-1197.011 94.5001,-1197.0109"/>
<text text-anchor="middle" x="92.3895" y="-1207" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _arithmetic_s7 -->
<g id="node13" class="node">
<title>_arithmetic_s7</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-695 63,-695 63,-659 119,-659 119,-695"/>
<text text-anchor="start" x="84.6646" y="-673.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s7</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-660C75.3333,-660 106.6667,-660 106.6667,-660 112.3333,-660 118,-665.6667 118,-671.3333 118,-671.3333 118,-682.6667 118,-682.6667 118,-688.3333 112.3333,-694 106.6667,-694 106.6667,-694 75.3333,-694 75.3333,-694 69.6667,-694 64,-688.3333 64,-682.6667 64,-682.6667 64,-671.3333 64,-671.3333 64,-665.6667 69.6667,-660 75.3333,-660"/>
</g>
<!-- _arithmetic_s7&#45;&gt;_boolean_logic -->
<g id="edge10" class="edge">
<title>_arithmetic_s7&#45;&gt;_boolean_logic</title>
<path fill="none" stroke="#000000" d="M91,-658.661C91,-651.2376 91,-642.2479 91,-633.0279"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-632.9962 91,-622.9962 87.5001,-632.9963 94.5001,-632.9962"/>
<text text-anchor="middle" x="92.3895" y="-634" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _arithmetic_s6 -->
<g id="node14" class="node">
<title>_arithmetic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-777 63,-777 63,-741 119,-741 119,-777"/>
<text text-anchor="start" x="84.6646" y="-755.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s6</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-742C75.3333,-742 106.6667,-742 106.6667,-742 112.3333,-742 118,-747.6667 118,-753.3333 118,-753.3333 118,-764.6667 118,-764.6667 118,-770.3333 112.3333,-776 106.6667,-776 106.6667,-776 75.3333,-776 75.3333,-776 69.6667,-776 64,-770.3333 64,-764.6667 64,-764.6667 64,-753.3333 64,-753.3333 64,-747.6667 69.6667,-742 75.3333,-742"/>
</g>
<!-- _arithmetic_s6&#45;&gt;_arithmetic_s7 -->
<g id="edge11" class="edge">
<title>_arithmetic_s6&#45;&gt;_arithmetic_s7</title>
<path fill="none" stroke="#000000" d="M91,-740.8015C91,-730.3976 91,-717.1215 91,-705.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-705.1476 91,-695.1476 87.5001,-705.1476 94.5001,-705.1476"/>
<text text-anchor="start" x="91" y="-715" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[5 % 2 == 1] &#160;&#160;</text>
</g>
<!-- _arithmetic_s5 -->
<g id="node15" class="node">
<title>_arithmetic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-859 63,-859 63,-823 119,-823 119,-859"/>
<text text-anchor="start" x="84.6646" y="-837.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s5</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-824C75.3333,-824 106.6667,-824 106.6667,-824 112.3333,-824 118,-829.6667 118,-835.3333 118,-835.3333 118,-846.6667 118,-846.6667 118,-852.3333 112.3333,-858 106.6667,-858 106.6667,-858 75.3333,-858 75.3333,-858 69.6667,-858 64,-852.3333 64,-846.6667 64,-846.6667 64,-835.3333 64,-835.3333 64,-829.6667 69.6667,-824 75.3333,-824"/>
</g>
<!-- _arithmetic_s5&#45;&gt;_arithmetic_s6 -->
<g id="edge12" class="edge">
<title>_arithmetic_s5&#45;&gt;_arithmetic_s6</title>
<path fill="none" stroke="#000000" d="M91,-822.8015C91,-812.3976 91,-799.1215 91,-787.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-787.1476 91,-777.1476 87.5001,-787.1476 94.5001,-787.1476"/>
<text text-anchor="start" x="91" y="-797" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[256 == 2 ** 2 ** 3] &#160;&#160;</text>
</g>
<!-- _arithmetic_s4 -->
<g id="node16" class="node">
<title>_arithmetic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-941 63,-941 63,-905 119,-905 119,-941"/>
<text text-anchor="start" x="84.6646" y="-919.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-906C75.3333,-906 106.6667,-906 106.6667,-906 112.3333,-906 118,-911.6667 118,-917.3333 118,-917.3333 118,-928.6667 118,-928.6667 118,-934.3333 112.3333,-940 106.6667,-940 106.6667,-940 75.3333,-940 75.3333,-940 69.6667,-940 64,-934.3333 64,-928.6667 64,-928.6667 64,-917.3333 64,-917.3333 64,-911.6667 69.6667,-906 75.3333,-906"/>
</g>
<!-- _arithmetic_s4&#45;&gt;_arithmetic_s5 -->
<g id="edge13" class="edge">
<title>_arithmetic_s4&#45;&gt;_arithmetic_s5</title>
<path fill="none" stroke="#000000" d="M91,-904.8015C91,-894.3976 91,-881.1215 91,-869.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-869.1476 91,-859.1476 87.5001,-869.1476 94.5001,-869.1476"/>
<text text-anchor="start" x="91" y="-879" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[21 // 3 == 7] &#160;&#160;</text>
</g>
<!-- _arithmetic_s3 -->
<g id="node17" class="node">
<title>_arithmetic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-1023 63,-1023 63,-987 119,-987 119,-1023"/>
<text text-anchor="start" x="84.6646" y="-1001.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-988C75.3333,-988 106.6667,-988 106.6667,-988 112.3333,-988 118,-993.6667 118,-999.3333 118,-999.3333 118,-1010.6667 118,-1010.6667 118,-1016.3333 112.3333,-1022 106.6667,-1022 106.6667,-1022 75.3333,-1022 75.3333,-1022 69.6667,-1022 64,-1016.3333 64,-1010.6667 64,-1010.6667 64,-999.3333 64,-999.3333 64,-993.6667 69.6667,-988 75.3333,-988"/>
</g>
<!-- _arithmetic_s3&#45;&gt;_arithmetic_s4 -->
<g id="edge14" class="edge">
<title>_arithmetic_s3&#45;&gt;_arithmetic_s4</title>
<path fill="none" stroke="#000000" d="M91,-986.8015C91,-976.3976 91,-963.1215 91,-951.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-951.1476 91,-941.1476 87.5001,-951.1476 94.5001,-951.1476"/>
<text text-anchor="start" x="91" y="-961" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 * 3 == 6] &#160;&#160;</text>
</g>
<!-- _arithmetic_s2 -->
<g id="node18" class="node">
<title>_arithmetic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="119,-1105 63,-1105 63,-1069 119,-1069 119,-1105"/>
<text text-anchor="start" x="84.6646" y="-1083.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M75.3333,-1070C75.3333,-1070 106.6667,-1070 106.6667,-1070 112.3333,-1070 118,-1075.6667 118,-1081.3333 118,-1081.3333 118,-1092.6667 118,-1092.6667 118,-1098.3333 112.3333,-1104 106.6667,-1104 106.6667,-1104 75.3333,-1104 75.3333,-1104 69.6667,-1104 64,-1098.3333 64,-1092.6667 64,-1092.6667 64,-1081.3333 64,-1081.3333 64,-1075.6667 69.6667,-1070 75.3333,-1070"/>
</g>
<!-- _arithmetic_s2&#45;&gt;_arithmetic_s3 -->
<g id="edge15" class="edge">
<title>_arithmetic_s2&#45;&gt;_arithmetic_s3</title>
<path fill="none" stroke="#000000" d="M91,-1068.8015C91,-1058.3976 91,-1045.1215 91,-1033.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-1033.1476 91,-1023.1476 87.5001,-1033.1476 94.5001,-1033.1476"/>
<text text-anchor="start" x="91" y="-1043" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[42 == 52 &#45; 11 + 1] &#160;&#160;</text>
</g>
<!-- _arithmetic_s1&#45;&gt;_arithmetic_s2 -->
<g id="edge16" class="edge">
<title>_arithmetic_s1&#45;&gt;_arithmetic_s2</title>
<path fill="none" stroke="#000000" d="M91,-1150.8015C91,-1140.3976 91,-1127.1215 91,-1115.3768"/>
<polygon fill="#000000" stroke="#000000" points="94.5001,-1115.1476 91,-1105.1476 87.5001,-1115.1476 94.5001,-1115.1476"/>
<text text-anchor="start" x="91" y="-1125" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 + 1 == 2] &#160;&#160;</text>
</g>
<!-- _comparisons_initial -->
<g id="node21" class="node">
<title>_comparisons_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="130" cy="-1733.5" rx="5.5" ry="5.5"/>
</g>
<!-- _comparisons_s1 -->
<g id="node26" class="node">
<title>_comparisons_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="158,-1682 102,-1682 102,-1646 158,-1646 158,-1682"/>
<text text-anchor="start" x="123.6646" y="-1660.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M114.3333,-1647C114.3333,-1647 145.6667,-1647 145.6667,-1647 151.3333,-1647 157,-1652.6667 157,-1658.3333 157,-1658.3333 157,-1669.6667 157,-1669.6667 157,-1675.3333 151.3333,-1681 145.6667,-1681 145.6667,-1681 114.3333,-1681 114.3333,-1681 108.6667,-1681 103,-1675.3333 103,-1669.6667 103,-1669.6667 103,-1658.3333 103,-1658.3333 103,-1652.6667 108.6667,-1647 114.3333,-1647"/>
</g>
<!-- _comparisons_initial&#45;&gt;_comparisons_s1 -->
<g id="edge17" class="edge">
<title>_comparisons_initial&#45;&gt;_comparisons_s1</title>
<path fill="none" stroke="#000000" d="M130,-1727.5745C130,-1719.7003 130,-1705.2498 130,-1692.1135"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1692.0109 130,-1682.011 126.5001,-1692.011 133.5001,-1692.0109"/>
<text text-anchor="middle" x="131.3895" y="-1702" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _comparisons_s5 -->
<g id="node22" class="node">
<title>_comparisons_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="158,-1354 102,-1354 102,-1318 158,-1318 158,-1354"/>
<text text-anchor="start" x="123.6646" y="-1332.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s5</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M114.3333,-1319C114.3333,-1319 145.6667,-1319 145.6667,-1319 151.3333,-1319 157,-1324.6667 157,-1330.3333 157,-1330.3333 157,-1341.6667 157,-1341.6667 157,-1347.3333 151.3333,-1353 145.6667,-1353 145.6667,-1353 114.3333,-1353 114.3333,-1353 108.6667,-1353 103,-1347.3333 103,-1341.6667 103,-1341.6667 103,-1330.3333 103,-1330.3333 103,-1324.6667 108.6667,-1319 114.3333,-1319"/>
</g>
<!-- _comparisons_s5&#45;&gt;_arithmetic -->
<g id="edge18" class="edge">
<title>_comparisons_s5&#45;&gt;_arithmetic</title>
<path fill="none" stroke="#000000" d="M130,-1317.661C130,-1310.2376 130,-1301.2479 130,-1292.0279"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1291.9962 130,-1281.9962 126.5001,-1291.9963 133.5001,-1291.9962"/>
<text text-anchor="middle" x="131.3895" y="-1293" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _comparisons_s4 -->
<g id="node23" class="node">
<title>_comparisons_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="158,-1436 102,-1436 102,-1400 158,-1400 158,-1436"/>
<text text-anchor="start" x="123.6646" y="-1414.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M114.3333,-1401C114.3333,-1401 145.6667,-1401 145.6667,-1401 151.3333,-1401 157,-1406.6667 157,-1412.3333 157,-1412.3333 157,-1423.6667 157,-1423.6667 157,-1429.3333 151.3333,-1435 145.6667,-1435 145.6667,-1435 114.3333,-1435 114.3333,-1435 108.6667,-1435 103,-1429.3333 103,-1423.6667 103,-1423.6667 103,-1412.3333 103,-1412.3333 103,-1406.6667 108.6667,-1401 114.3333,-1401"/>
</g>
<!-- _comparisons_s4&#45;&gt;_comparisons_s5 -->
<g id="edge19" class="edge">
<title>_comparisons_s4&#45;&gt;_comparisons_s5</title>
<path fill="none" stroke="#000000" d="M130,-1399.8015C130,-1389.3976 130,-1376.1215 130,-1364.3768"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1364.1476 130,-1354.1476 126.5001,-1364.1476 133.5001,-1364.1476"/>
<text text-anchor="start" x="130" y="-1374" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 &gt; 1] &#160;&#160;</text>
</g>
<!-- _comparisons_s3 -->
<g id="node24" class="node">
<title>_comparisons_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="158,-1518 102,-1518 102,-1482 158,-1482 158,-1518"/>
<text text-anchor="start" x="123.6646" y="-1496.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M114.3333,-1483C114.3333,-1483 145.6667,-1483 145.6667,-1483 151.3333,-1483 157,-1488.6667 157,-1494.3333 157,-1494.3333 157,-1505.6667 157,-1505.6667 157,-1511.3333 151.3333,-1517 145.6667,-1517 145.6667,-1517 114.3333,-1517 114.3333,-1517 108.6667,-1517 103,-1511.3333 103,-1505.6667 103,-1505.6667 103,-1494.3333 103,-1494.3333 103,-1488.6667 108.6667,-1483 114.3333,-1483"/>
</g>
<!-- _comparisons_s3&#45;&gt;_comparisons_s4 -->
<g id="edge20" class="edge">
<title>_comparisons_s3&#45;&gt;_comparisons_s4</title>
<path fill="none" stroke="#000000" d="M130,-1481.8015C130,-1471.3976 130,-1458.1215 130,-1446.3768"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1446.1476 130,-1436.1476 126.5001,-1446.1476 133.5001,-1446.1476"/>
<text text-anchor="start" x="130" y="-1456" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 &lt; 2] &#160;&#160;</text>
</g>
<!-- _comparisons_s2 -->
<g id="node25" class="node">
<title>_comparisons_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="158,-1600 102,-1600 102,-1564 158,-1564 158,-1600"/>
<text text-anchor="start" x="123.6646" y="-1578.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M114.3333,-1565C114.3333,-1565 145.6667,-1565 145.6667,-1565 151.3333,-1565 157,-1570.6667 157,-1576.3333 157,-1576.3333 157,-1587.6667 157,-1587.6667 157,-1593.3333 151.3333,-1599 145.6667,-1599 145.6667,-1599 114.3333,-1599 114.3333,-1599 108.6667,-1599 103,-1593.3333 103,-1587.6667 103,-1587.6667 103,-1576.3333 103,-1576.3333 103,-1570.6667 108.6667,-1565 114.3333,-1565"/>
</g>
<!-- _comparisons_s2&#45;&gt;_comparisons_s3 -->
<g id="edge21" class="edge">
<title>_comparisons_s2&#45;&gt;_comparisons_s3</title>
<path fill="none" stroke="#000000" d="M130,-1563.8015C130,-1553.3976 130,-1540.1215 130,-1528.3768"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1528.1476 130,-1518.1476 126.5001,-1528.1476 133.5001,-1528.1476"/>
<text text-anchor="start" x="130" y="-1538" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 != 2] &#160;&#160;</text>
</g>
<!-- _comparisons_s1&#45;&gt;_comparisons_s2 -->
<g id="edge22" class="edge">
<title>_comparisons_s1&#45;&gt;_comparisons_s2</title>
<path fill="none" stroke="#000000" d="M130,-1645.8015C130,-1635.3976 130,-1622.1215 130,-1610.3768"/>
<polygon fill="#000000" stroke="#000000" points="133.5001,-1610.1476 130,-1600.1476 126.5001,-1610.1476 133.5001,-1610.1476"/>
<text text-anchor="start" x="130" y="-1620" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 == 1] &#160;&#160;</text>
</g>
</g>
</svg>