sccd/test/test_files/features/expressions/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="231pt" height="1824pt"
 viewBox="0.00 0.00 231.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 227,-1820 227,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__boolean_logic</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M40.5,-74C40.5,-74 187.5,-74 187.5,-74 193.5,-74 199.5,-80 199.5,-86 199.5,-86 199.5,-611 199.5,-611 199.5,-617 193.5,-623 187.5,-623 187.5,-623 40.5,-623 40.5,-623 34.5,-623 28.5,-617 28.5,-611 28.5,-611 28.5,-86 28.5,-86 28.5,-80 34.5,-74 40.5,-74"/>
<text text-anchor="start" x="76.9872" 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="M75.5,-651C75.5,-651 180.5,-651 180.5,-651 186.5,-651 192.5,-657 192.5,-663 192.5,-663 192.5,-1270 192.5,-1270 192.5,-1276 186.5,-1282 180.5,-1282 180.5,-1282 75.5,-1282 75.5,-1282 69.5,-1282 63.5,-1276 63.5,-1270 63.5,-1270 63.5,-663 63.5,-663 63.5,-657 69.5,-651 75.5,-651"/>
<text text-anchor="start" x="102.5014" 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="M111.5,-1310C111.5,-1310 179.5,-1310 179.5,-1310 185.5,-1310 191.5,-1316 191.5,-1322 191.5,-1322 191.5,-1765 191.5,-1765 191.5,-1771 185.5,-1777 179.5,-1777 179.5,-1777 111.5,-1777 111.5,-1777 105.5,-1777 99.5,-1771 99.5,-1765 99.5,-1765 99.5,-1322 99.5,-1322 99.5,-1316 105.5,-1310 111.5,-1310"/>
<text text-anchor="start" x="111.4968" y="-1758.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">comparisons</text>
</g>
<!-- self_tr__comparisons__comparisons_23 -->
<!-- _comparisons -->
<!-- self_tr__comparisons__comparisons_23&#45;&gt;_comparisons -->
<g id="edge24" class="edge">
<title>self_tr__comparisons__comparisons_23:w&#45;&gt;_comparisons</title>
<path fill="none" stroke="#000000" d="M157.5,-1810.5C150.9615,-1810.5 151.8895,-1799.902 155.644,-1786.5696"/>
<polygon fill="#000000" stroke="#000000" points="158.9926,-1787.5882 158.6378,-1776.9993 152.3118,-1785.4983 158.9926,-1787.5882"/>
</g>
<!-- __initial -->
<g id="node2" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="217.5" cy="-1810.5" rx="5.5" ry="5.5"/>
</g>
<!-- __initial&#45;&gt;_comparisons -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_comparisons</title>
<path fill="none" stroke="#000000" d="M214.8099,-1805.4478C210.9592,-1798.2161 203.5324,-1784.2681 196.2349,-1770.5632"/>
<polygon fill="#000000" stroke="#000000" points="199.2864,-1768.8469 191.4971,-1761.6652 193.1077,-1772.1369 199.2864,-1768.8469"/>
<text text-anchor="middle" x="210.8895" y="-1788" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _final -->
<g id="node3" class="node">
<title>_final</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="129,-46 0,-46 0,0 129,0 129,-46"/>
<text text-anchor="start" x="53.999" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">final</text>
<text text-anchor="start" x="6.1646" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.all_good</text>
<polygon fill="#000000" stroke="#000000" points=".5,-23 .5,-23 129.5,-23 129.5,-23 .5,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 116,-1 116,-1 122,-1 128,-7 128,-13 128,-13 128,-33 128,-33 128,-39 122,-45 116,-45 116,-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="node5" class="node">
<title>_boolean_logic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="64.5" cy="-579.5" rx="5.5" ry="5.5"/>
</g>
<!-- _boolean_logic_s1 -->
<g id="node11" class="node">
<title>_boolean_logic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-528 36.5,-528 36.5,-492 92.5,-492 92.5,-528"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-493C48.8333,-493 80.1667,-493 80.1667,-493 85.8333,-493 91.5,-498.6667 91.5,-504.3333 91.5,-504.3333 91.5,-515.6667 91.5,-515.6667 91.5,-521.3333 85.8333,-527 80.1667,-527 80.1667,-527 48.8333,-527 48.8333,-527 43.1667,-527 37.5,-521.3333 37.5,-515.6667 37.5,-515.6667 37.5,-504.3333 37.5,-504.3333 37.5,-498.6667 43.1667,-493 48.8333,-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="M64.5,-573.5745C64.5,-565.7003 64.5,-551.2498 64.5,-538.1135"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-538.0109 64.5,-528.011 61.0001,-538.011 68.0001,-538.0109"/>
<text text-anchor="middle" x="65.8895" y="-548" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _boolean_logic_s6 -->
<g id="node6" class="node">
<title>_boolean_logic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-118 36.5,-118 36.5,-82 92.5,-82 92.5,-118"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-83C48.8333,-83 80.1667,-83 80.1667,-83 85.8333,-83 91.5,-88.6667 91.5,-94.3333 91.5,-94.3333 91.5,-105.6667 91.5,-105.6667 91.5,-111.3333 85.8333,-117 80.1667,-117 80.1667,-117 48.8333,-117 48.8333,-117 43.1667,-117 37.5,-111.3333 37.5,-105.6667 37.5,-105.6667 37.5,-94.3333 37.5,-94.3333 37.5,-88.6667 43.1667,-83 48.8333,-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="M64.5,-81.7521C64.5,-74.0806 64.5,-64.9093 64.5,-56.1197"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-56.0895 64.5,-46.0895 61.0001,-56.0895 68.0001,-56.0895"/>
<text text-anchor="middle" x="65.8895" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _boolean_logic_s5 -->
<g id="node7" class="node">
<title>_boolean_logic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-200 36.5,-200 36.5,-164 92.5,-164 92.5,-200"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-165C48.8333,-165 80.1667,-165 80.1667,-165 85.8333,-165 91.5,-170.6667 91.5,-176.3333 91.5,-176.3333 91.5,-187.6667 91.5,-187.6667 91.5,-193.3333 85.8333,-199 80.1667,-199 80.1667,-199 48.8333,-199 48.8333,-199 43.1667,-199 37.5,-193.3333 37.5,-187.6667 37.5,-187.6667 37.5,-176.3333 37.5,-176.3333 37.5,-170.6667 43.1667,-165 48.8333,-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="M64.5,-163.8015C64.5,-153.3976 64.5,-140.1215 64.5,-128.3768"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-128.1476 64.5,-118.1476 61.0001,-128.1476 68.0001,-128.1476"/>
<text text-anchor="start" x="64.5" 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="node8" class="node">
<title>_boolean_logic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-282 36.5,-282 36.5,-246 92.5,-246 92.5,-282"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-247C48.8333,-247 80.1667,-247 80.1667,-247 85.8333,-247 91.5,-252.6667 91.5,-258.3333 91.5,-258.3333 91.5,-269.6667 91.5,-269.6667 91.5,-275.3333 85.8333,-281 80.1667,-281 80.1667,-281 48.8333,-281 48.8333,-281 43.1667,-281 37.5,-275.3333 37.5,-269.6667 37.5,-269.6667 37.5,-258.3333 37.5,-258.3333 37.5,-252.6667 43.1667,-247 48.8333,-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="M64.5,-245.8015C64.5,-235.3976 64.5,-222.1215 64.5,-210.3768"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-210.1476 64.5,-200.1476 61.0001,-210.1476 68.0001,-210.1476"/>
<text text-anchor="start" x="64.5" 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="node9" class="node">
<title>_boolean_logic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-364 36.5,-364 36.5,-328 92.5,-328 92.5,-364"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-329C48.8333,-329 80.1667,-329 80.1667,-329 85.8333,-329 91.5,-334.6667 91.5,-340.3333 91.5,-340.3333 91.5,-351.6667 91.5,-351.6667 91.5,-357.3333 85.8333,-363 80.1667,-363 80.1667,-363 48.8333,-363 48.8333,-363 43.1667,-363 37.5,-357.3333 37.5,-351.6667 37.5,-351.6667 37.5,-340.3333 37.5,-340.3333 37.5,-334.6667 43.1667,-329 48.8333,-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="M64.5,-327.8015C64.5,-317.3976 64.5,-304.1215 64.5,-292.3768"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-292.1476 64.5,-282.1476 61.0001,-292.1476 68.0001,-292.1476"/>
<text text-anchor="start" x="64.5" 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="node10" class="node">
<title>_boolean_logic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92.5,-446 36.5,-446 36.5,-410 92.5,-410 92.5,-446"/>
<text text-anchor="start" x="58.1646" 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="M48.8333,-411C48.8333,-411 80.1667,-411 80.1667,-411 85.8333,-411 91.5,-416.6667 91.5,-422.3333 91.5,-422.3333 91.5,-433.6667 91.5,-433.6667 91.5,-439.3333 85.8333,-445 80.1667,-445 80.1667,-445 48.8333,-445 48.8333,-445 43.1667,-445 37.5,-439.3333 37.5,-433.6667 37.5,-433.6667 37.5,-422.3333 37.5,-422.3333 37.5,-416.6667 43.1667,-411 48.8333,-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="M64.5,-409.8015C64.5,-399.3976 64.5,-386.1215 64.5,-374.3768"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-374.1476 64.5,-364.1476 61.0001,-374.1476 68.0001,-374.1476"/>
<text text-anchor="start" x="64.5" 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="M64.5,-491.8015C64.5,-481.3976 64.5,-468.1215 64.5,-456.3768"/>
<polygon fill="#000000" stroke="#000000" points="68.0001,-456.1476 64.5,-446.1476 61.0001,-456.1476 68.0001,-456.1476"/>
<text text-anchor="start" x="64.5" y="-466" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[true] &#160;&#160;</text>
</g>
<!-- _arithmetic -->
<!-- _arithmetic_initial -->
<g id="node13" class="node">
<title>_arithmetic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="99.5" cy="-1238.5" rx="5.5" ry="5.5"/>
</g>
<!-- _arithmetic_s1 -->
<g id="node20" class="node">
<title>_arithmetic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-1187 71.5,-1187 71.5,-1151 127.5,-1151 127.5,-1187"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-1152C83.8333,-1152 115.1667,-1152 115.1667,-1152 120.8333,-1152 126.5,-1157.6667 126.5,-1163.3333 126.5,-1163.3333 126.5,-1174.6667 126.5,-1174.6667 126.5,-1180.3333 120.8333,-1186 115.1667,-1186 115.1667,-1186 83.8333,-1186 83.8333,-1186 78.1667,-1186 72.5,-1180.3333 72.5,-1174.6667 72.5,-1174.6667 72.5,-1163.3333 72.5,-1163.3333 72.5,-1157.6667 78.1667,-1152 83.8333,-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="M99.5,-1232.5745C99.5,-1224.7003 99.5,-1210.2498 99.5,-1197.1135"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-1197.0109 99.5,-1187.011 96.0001,-1197.011 103.0001,-1197.0109"/>
<text text-anchor="middle" x="100.8895" y="-1207" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _arithmetic_s7 -->
<g id="node14" class="node">
<title>_arithmetic_s7</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-695 71.5,-695 71.5,-659 127.5,-659 127.5,-695"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-660C83.8333,-660 115.1667,-660 115.1667,-660 120.8333,-660 126.5,-665.6667 126.5,-671.3333 126.5,-671.3333 126.5,-682.6667 126.5,-682.6667 126.5,-688.3333 120.8333,-694 115.1667,-694 115.1667,-694 83.8333,-694 83.8333,-694 78.1667,-694 72.5,-688.3333 72.5,-682.6667 72.5,-682.6667 72.5,-671.3333 72.5,-671.3333 72.5,-665.6667 78.1667,-660 83.8333,-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="M99.5,-658.661C99.5,-651.2376 99.5,-642.2479 99.5,-633.0279"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-632.9962 99.5,-622.9962 96.0001,-632.9963 103.0001,-632.9962"/>
<text text-anchor="middle" x="100.8895" y="-634" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _arithmetic_s6 -->
<g id="node15" class="node">
<title>_arithmetic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-777 71.5,-777 71.5,-741 127.5,-741 127.5,-777"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-742C83.8333,-742 115.1667,-742 115.1667,-742 120.8333,-742 126.5,-747.6667 126.5,-753.3333 126.5,-753.3333 126.5,-764.6667 126.5,-764.6667 126.5,-770.3333 120.8333,-776 115.1667,-776 115.1667,-776 83.8333,-776 83.8333,-776 78.1667,-776 72.5,-770.3333 72.5,-764.6667 72.5,-764.6667 72.5,-753.3333 72.5,-753.3333 72.5,-747.6667 78.1667,-742 83.8333,-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="M99.5,-740.8015C99.5,-730.3976 99.5,-717.1215 99.5,-705.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-705.1476 99.5,-695.1476 96.0001,-705.1476 103.0001,-705.1476"/>
<text text-anchor="start" x="99.5" y="-715" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[5 % 2 == 1] &#160;&#160;</text>
</g>
<!-- _arithmetic_s5 -->
<g id="node16" class="node">
<title>_arithmetic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-859 71.5,-859 71.5,-823 127.5,-823 127.5,-859"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-824C83.8333,-824 115.1667,-824 115.1667,-824 120.8333,-824 126.5,-829.6667 126.5,-835.3333 126.5,-835.3333 126.5,-846.6667 126.5,-846.6667 126.5,-852.3333 120.8333,-858 115.1667,-858 115.1667,-858 83.8333,-858 83.8333,-858 78.1667,-858 72.5,-852.3333 72.5,-846.6667 72.5,-846.6667 72.5,-835.3333 72.5,-835.3333 72.5,-829.6667 78.1667,-824 83.8333,-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="M99.5,-822.8015C99.5,-812.3976 99.5,-799.1215 99.5,-787.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-787.1476 99.5,-777.1476 96.0001,-787.1476 103.0001,-787.1476"/>
<text text-anchor="start" x="99.5" 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="node17" class="node">
<title>_arithmetic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-941 71.5,-941 71.5,-905 127.5,-905 127.5,-941"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-906C83.8333,-906 115.1667,-906 115.1667,-906 120.8333,-906 126.5,-911.6667 126.5,-917.3333 126.5,-917.3333 126.5,-928.6667 126.5,-928.6667 126.5,-934.3333 120.8333,-940 115.1667,-940 115.1667,-940 83.8333,-940 83.8333,-940 78.1667,-940 72.5,-934.3333 72.5,-928.6667 72.5,-928.6667 72.5,-917.3333 72.5,-917.3333 72.5,-911.6667 78.1667,-906 83.8333,-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="M99.5,-904.8015C99.5,-894.3976 99.5,-881.1215 99.5,-869.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-869.1476 99.5,-859.1476 96.0001,-869.1476 103.0001,-869.1476"/>
<text text-anchor="start" x="99.5" y="-879" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[21 // 3 == 7] &#160;&#160;</text>
</g>
<!-- _arithmetic_s3 -->
<g id="node18" class="node">
<title>_arithmetic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-1023 71.5,-1023 71.5,-987 127.5,-987 127.5,-1023"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-988C83.8333,-988 115.1667,-988 115.1667,-988 120.8333,-988 126.5,-993.6667 126.5,-999.3333 126.5,-999.3333 126.5,-1010.6667 126.5,-1010.6667 126.5,-1016.3333 120.8333,-1022 115.1667,-1022 115.1667,-1022 83.8333,-1022 83.8333,-1022 78.1667,-1022 72.5,-1016.3333 72.5,-1010.6667 72.5,-1010.6667 72.5,-999.3333 72.5,-999.3333 72.5,-993.6667 78.1667,-988 83.8333,-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="M99.5,-986.8015C99.5,-976.3976 99.5,-963.1215 99.5,-951.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-951.1476 99.5,-941.1476 96.0001,-951.1476 103.0001,-951.1476"/>
<text text-anchor="start" x="99.5" y="-961" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 * 3 == 6] &#160;&#160;</text>
</g>
<!-- _arithmetic_s2 -->
<g id="node19" class="node">
<title>_arithmetic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="127.5,-1105 71.5,-1105 71.5,-1069 127.5,-1069 127.5,-1105"/>
<text text-anchor="start" x="93.1646" 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="M83.8333,-1070C83.8333,-1070 115.1667,-1070 115.1667,-1070 120.8333,-1070 126.5,-1075.6667 126.5,-1081.3333 126.5,-1081.3333 126.5,-1092.6667 126.5,-1092.6667 126.5,-1098.3333 120.8333,-1104 115.1667,-1104 115.1667,-1104 83.8333,-1104 83.8333,-1104 78.1667,-1104 72.5,-1098.3333 72.5,-1092.6667 72.5,-1092.6667 72.5,-1081.3333 72.5,-1081.3333 72.5,-1075.6667 78.1667,-1070 83.8333,-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="M99.5,-1068.8015C99.5,-1058.3976 99.5,-1045.1215 99.5,-1033.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-1033.1476 99.5,-1023.1476 96.0001,-1033.1476 103.0001,-1033.1476"/>
<text text-anchor="start" x="99.5" 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="M99.5,-1150.8015C99.5,-1140.3976 99.5,-1127.1215 99.5,-1115.3768"/>
<polygon fill="#000000" stroke="#000000" points="103.0001,-1115.1476 99.5,-1105.1476 96.0001,-1115.1476 103.0001,-1115.1476"/>
<text text-anchor="start" x="99.5" y="-1125" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 + 1 == 2] &#160;&#160;</text>
</g>
<!-- _comparisons&#45;&gt;self_tr__comparisons__comparisons_23 -->
<g id="edge23" class="edge">
<title>_comparisons:e&#45;&gt;self_tr__comparisons__comparisons_23:e</title>
<path fill="none" stroke="#000000" d="M178.885,-1776.9997C173.8815,-1794.4465 165.5473,-1810.5 157.5,-1810.5"/>
<text text-anchor="start" x="175.5" y="-1788" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e &#160;&#160;</text>
</g>
<!-- _comparisons_initial -->
<g id="node22" class="node">
<title>_comparisons_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="138.5" cy="-1733.5" rx="5.5" ry="5.5"/>
</g>
<!-- _comparisons_s1 -->
<g id="node27" class="node">
<title>_comparisons_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166.5,-1682 110.5,-1682 110.5,-1646 166.5,-1646 166.5,-1682"/>
<text text-anchor="start" x="132.1646" 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="M122.8333,-1647C122.8333,-1647 154.1667,-1647 154.1667,-1647 159.8333,-1647 165.5,-1652.6667 165.5,-1658.3333 165.5,-1658.3333 165.5,-1669.6667 165.5,-1669.6667 165.5,-1675.3333 159.8333,-1681 154.1667,-1681 154.1667,-1681 122.8333,-1681 122.8333,-1681 117.1667,-1681 111.5,-1675.3333 111.5,-1669.6667 111.5,-1669.6667 111.5,-1658.3333 111.5,-1658.3333 111.5,-1652.6667 117.1667,-1647 122.8333,-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="M138.5,-1727.5745C138.5,-1719.7003 138.5,-1705.2498 138.5,-1692.1135"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1692.0109 138.5,-1682.011 135.0001,-1692.011 142.0001,-1692.0109"/>
<text text-anchor="middle" x="139.8895" y="-1702" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _comparisons_s5 -->
<g id="node23" class="node">
<title>_comparisons_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166.5,-1354 110.5,-1354 110.5,-1318 166.5,-1318 166.5,-1354"/>
<text text-anchor="start" x="132.1646" 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="M122.8333,-1319C122.8333,-1319 154.1667,-1319 154.1667,-1319 159.8333,-1319 165.5,-1324.6667 165.5,-1330.3333 165.5,-1330.3333 165.5,-1341.6667 165.5,-1341.6667 165.5,-1347.3333 159.8333,-1353 154.1667,-1353 154.1667,-1353 122.8333,-1353 122.8333,-1353 117.1667,-1353 111.5,-1347.3333 111.5,-1341.6667 111.5,-1341.6667 111.5,-1330.3333 111.5,-1330.3333 111.5,-1324.6667 117.1667,-1319 122.8333,-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="M138.5,-1317.661C138.5,-1310.2376 138.5,-1301.2479 138.5,-1292.0279"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1291.9962 138.5,-1281.9962 135.0001,-1291.9963 142.0001,-1291.9962"/>
<text text-anchor="middle" x="139.8895" y="-1293" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _comparisons_s4 -->
<g id="node24" class="node">
<title>_comparisons_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166.5,-1436 110.5,-1436 110.5,-1400 166.5,-1400 166.5,-1436"/>
<text text-anchor="start" x="132.1646" 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="M122.8333,-1401C122.8333,-1401 154.1667,-1401 154.1667,-1401 159.8333,-1401 165.5,-1406.6667 165.5,-1412.3333 165.5,-1412.3333 165.5,-1423.6667 165.5,-1423.6667 165.5,-1429.3333 159.8333,-1435 154.1667,-1435 154.1667,-1435 122.8333,-1435 122.8333,-1435 117.1667,-1435 111.5,-1429.3333 111.5,-1423.6667 111.5,-1423.6667 111.5,-1412.3333 111.5,-1412.3333 111.5,-1406.6667 117.1667,-1401 122.8333,-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="M138.5,-1399.8015C138.5,-1389.3976 138.5,-1376.1215 138.5,-1364.3768"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1364.1476 138.5,-1354.1476 135.0001,-1364.1476 142.0001,-1364.1476"/>
<text text-anchor="start" x="138.5" y="-1374" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[2 &gt; 1] &#160;&#160;</text>
</g>
<!-- _comparisons_s3 -->
<g id="node25" class="node">
<title>_comparisons_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166.5,-1518 110.5,-1518 110.5,-1482 166.5,-1482 166.5,-1518"/>
<text text-anchor="start" x="132.1646" 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="M122.8333,-1483C122.8333,-1483 154.1667,-1483 154.1667,-1483 159.8333,-1483 165.5,-1488.6667 165.5,-1494.3333 165.5,-1494.3333 165.5,-1505.6667 165.5,-1505.6667 165.5,-1511.3333 159.8333,-1517 154.1667,-1517 154.1667,-1517 122.8333,-1517 122.8333,-1517 117.1667,-1517 111.5,-1511.3333 111.5,-1505.6667 111.5,-1505.6667 111.5,-1494.3333 111.5,-1494.3333 111.5,-1488.6667 117.1667,-1483 122.8333,-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="M138.5,-1481.8015C138.5,-1471.3976 138.5,-1458.1215 138.5,-1446.3768"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1446.1476 138.5,-1436.1476 135.0001,-1446.1476 142.0001,-1446.1476"/>
<text text-anchor="start" x="138.5" y="-1456" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 &lt; 2] &#160;&#160;</text>
</g>
<!-- _comparisons_s2 -->
<g id="node26" class="node">
<title>_comparisons_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="166.5,-1600 110.5,-1600 110.5,-1564 166.5,-1564 166.5,-1600"/>
<text text-anchor="start" x="132.1646" 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="M122.8333,-1565C122.8333,-1565 154.1667,-1565 154.1667,-1565 159.8333,-1565 165.5,-1570.6667 165.5,-1576.3333 165.5,-1576.3333 165.5,-1587.6667 165.5,-1587.6667 165.5,-1593.3333 159.8333,-1599 154.1667,-1599 154.1667,-1599 122.8333,-1599 122.8333,-1599 117.1667,-1599 111.5,-1593.3333 111.5,-1587.6667 111.5,-1587.6667 111.5,-1576.3333 111.5,-1576.3333 111.5,-1570.6667 117.1667,-1565 122.8333,-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="M138.5,-1563.8015C138.5,-1553.3976 138.5,-1540.1215 138.5,-1528.3768"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1528.1476 138.5,-1518.1476 135.0001,-1528.1476 142.0001,-1528.1476"/>
<text text-anchor="start" x="138.5" 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="M138.5,-1645.8015C138.5,-1635.3976 138.5,-1622.1215 138.5,-1610.3768"/>
<polygon fill="#000000" stroke="#000000" points="142.0001,-1610.1476 138.5,-1600.1476 135.0001,-1610.1476 142.0001,-1610.1476"/>
<text text-anchor="start" x="138.5" y="-1620" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 == 1] &#160;&#160;</text>
</g>
</g>
</svg>