sccd/test_files/features/action_lang/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="460pt" height="1030pt"
 viewBox="0.00 0.00 460.00 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 456,-1026 456,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 432,-8 432,-8 438,-8 444,-14 444,-20 444,-20 444,-971 444,-971 444,-977 438,-983 432,-983 432,-983 20,-983 20,-983 14,-983 8,-977 8,-971 8,-971 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="222.6646" 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="265,-152 265,-945 436,-945 436,-152 265,-152"/>
<text text-anchor="start" x="313.4872" 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="128,-16 128,-945 257,-945 257,-16 128,-16"/>
<text text-anchor="start" x="167.0014" 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="24,-288 24,-945 120,-945 120,-288 24,-288"/>
<text text-anchor="start" x="37.9968" y="-926.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="16" cy="-1016.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p -->
<!-- __initial&#45;&gt;_p -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_p</title>
<path fill="none" stroke="#000000" d="M16,-1010.9533C16,-1006.7779 16,-1000.5043 16,-993.0332"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-992.9971 16,-982.9971 12.5001,-992.9972 19.5001,-992.9971"/>
<text text-anchor="middle" x="17.3895" y="-994" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_boolean_logic -->
<!-- _p_boolean_logic_initial -->
<g id="node4" class="node">
<title>_p_boolean_logic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="301" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_boolean_logic_s1 -->
<g id="node10" class="node">
<title>_p_boolean_logic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="329,-814 273,-814 273,-778 329,-778 329,-814"/>
<text text-anchor="start" x="294.6646" 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="M285.3333,-779C285.3333,-779 316.6667,-779 316.6667,-779 322.3333,-779 328,-784.6667 328,-790.3333 328,-790.3333 328,-801.6667 328,-801.6667 328,-807.3333 322.3333,-813 316.6667,-813 316.6667,-813 285.3333,-813 285.3333,-813 279.6667,-813 274,-807.3333 274,-801.6667 274,-801.6667 274,-790.3333 274,-790.3333 274,-784.6667 279.6667,-779 285.3333,-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="M301,-895.8288C301,-891.1736 301,-884.4097 301,-878.5 301,-878.5 301,-878.5 301,-831.5 301,-829.1079 301,-826.6252 301,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="304.5001,-824.0597 301,-814.0598 297.5001,-824.0598 304.5001,-824.0597"/>
<text text-anchor="middle" x="302.3895" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_boolean_logic_ok -->
<g id="node5" class="node">
<title>_p_boolean_logic_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="353,-206 273,-206 273,-160 353,-160 353,-206"/>
<text text-anchor="start" x="306.6646" y="-189.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="278.5072" y="-169.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="273,-183 273,-183 353,-183 353,-183 273,-183"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M286,-161C286,-161 340,-161 340,-161 346,-161 352,-167 352,-173 352,-173 352,-193 352,-193 352,-199 346,-205 340,-205 340,-205 286,-205 286,-205 280,-205 274,-199 274,-193 274,-193 274,-173 274,-173 274,-167 280,-161 286,-161"/>
</g>
<!-- _p_boolean_logic_s5 -->
<g id="node6" class="node">
<title>_p_boolean_logic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="329,-337 273,-337 273,-301 329,-301 329,-337"/>
<text text-anchor="start" x="294.6646" 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="M285.3333,-302C285.3333,-302 316.6667,-302 316.6667,-302 322.3333,-302 328,-307.6667 328,-313.3333 328,-313.3333 328,-324.6667 328,-324.6667 328,-330.3333 322.3333,-336 316.6667,-336 316.6667,-336 285.3333,-336 285.3333,-336 279.6667,-336 274,-330.3333 274,-324.6667 274,-324.6667 274,-313.3333 274,-313.3333 274,-307.6667 279.6667,-302 285.3333,-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="M297.6492,-300.6417C296.2748,-291.5981 295,-280.5115 295,-270.5 295,-270.5 295,-270.5 295,-223.5 295,-220.9416 295.3037,-218.3646 295.8321,-215.8169"/>
<polygon fill="#000000" stroke="#000000" points="299.1835,-216.8264 298.8173,-206.2379 292.5005,-214.7436 299.1835,-216.8264"/>
<text text-anchor="start" x="295" 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="node7" class="node">
<title>_p_boolean_logic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="329,-460 273,-460 273,-424 329,-424 329,-460"/>
<text text-anchor="start" x="294.6646" 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="M285.3333,-425C285.3333,-425 316.6667,-425 316.6667,-425 322.3333,-425 328,-430.6667 328,-436.3333 328,-436.3333 328,-447.6667 328,-447.6667 328,-453.3333 322.3333,-459 316.6667,-459 316.6667,-459 285.3333,-459 285.3333,-459 279.6667,-459 274,-453.3333 274,-447.6667 274,-447.6667 274,-436.3333 274,-436.3333 274,-430.6667 279.6667,-425 285.3333,-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="M296.7033,-423.6741C295.7416,-418.1833 295,-412.1255 295,-406.5 295,-406.5 295,-406.5 295,-359.5 295,-355.4573 295.2962,-351.2119 295.7569,-347.0534"/>
<polygon fill="#000000" stroke="#000000" points="299.2353,-347.4511 297.1661,-337.0603 292.3039,-346.4736 299.2353,-347.4511"/>
<text text-anchor="start" x="295" 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="node8" class="node">
<title>_p_boolean_logic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="329,-578 273,-578 273,-542 329,-542 329,-578"/>
<text text-anchor="start" x="294.6646" 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="M285.3333,-543C285.3333,-543 316.6667,-543 316.6667,-543 322.3333,-543 328,-548.6667 328,-554.3333 328,-554.3333 328,-565.6667 328,-565.6667 328,-571.3333 322.3333,-577 316.6667,-577 316.6667,-577 285.3333,-577 285.3333,-577 279.6667,-577 274,-571.3333 274,-565.6667 274,-565.6667 274,-554.3333 274,-554.3333 274,-548.6667 279.6667,-543 285.3333,-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="M301,-541.9402C301,-536.3497 301,-530.1701 301,-524.5 301,-524.5 301,-524.5 301,-477.5 301,-475.1079 301,-472.6252 301,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="304.5001,-470.0597 301,-460.0598 297.5001,-470.0598 304.5001,-470.0597"/>
<text text-anchor="start" x="301" 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="node9" class="node">
<title>_p_boolean_logic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="329,-696 273,-696 273,-660 329,-660 329,-696"/>
<text text-anchor="start" x="294.6646" 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="M285.3333,-661C285.3333,-661 316.6667,-661 316.6667,-661 322.3333,-661 328,-666.6667 328,-672.3333 328,-672.3333 328,-683.6667 328,-683.6667 328,-689.3333 322.3333,-695 316.6667,-695 316.6667,-695 285.3333,-695 285.3333,-695 279.6667,-695 274,-689.3333 274,-683.6667 274,-683.6667 274,-672.3333 274,-672.3333 274,-666.6667 279.6667,-661 285.3333,-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="M301,-659.9402C301,-654.3497 301,-648.1701 301,-642.5 301,-642.5 301,-642.5 301,-595.5 301,-593.1079 301,-590.6252 301,-588.1342"/>
<polygon fill="#000000" stroke="#000000" points="304.5001,-588.0597 301,-578.0598 297.5001,-588.0598 304.5001,-588.0597"/>
<text text-anchor="start" x="301" 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="M301,-777.9402C301,-772.3497 301,-766.1701 301,-760.5 301,-760.5 301,-760.5 301,-713.5 301,-711.1079 301,-708.6252 301,-706.1342"/>
<polygon fill="#000000" stroke="#000000" points="304.5001,-706.0597 301,-696.0598 297.5001,-706.0598 304.5001,-706.0597"/>
<text text-anchor="start" x="301" 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="node12" class="node">
<title>_p_arithmetic_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="164" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_arithmetic_s1 -->
<g id="node19" class="node">
<title>_p_arithmetic_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="192,-814 136,-814 136,-778 192,-778 192,-814"/>
<text text-anchor="start" x="157.6646" 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="M148.3333,-779C148.3333,-779 179.6667,-779 179.6667,-779 185.3333,-779 191,-784.6667 191,-790.3333 191,-790.3333 191,-801.6667 191,-801.6667 191,-807.3333 185.3333,-813 179.6667,-813 179.6667,-813 148.3333,-813 148.3333,-813 142.6667,-813 137,-807.3333 137,-801.6667 137,-801.6667 137,-790.3333 137,-790.3333 137,-784.6667 142.6667,-779 148.3333,-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="M164,-895.8288C164,-891.1736 164,-884.4097 164,-878.5 164,-878.5 164,-878.5 164,-831.5 164,-829.1079 164,-826.6252 164,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="167.5001,-824.0597 164,-814.0598 160.5001,-824.0598 167.5001,-824.0597"/>
<text text-anchor="middle" x="165.3895" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_arithmetic_ok -->
<g id="node13" class="node">
<title>_p_arithmetic_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="216,-70 136,-70 136,-24 216,-24 216,-70"/>
<text text-anchor="start" x="169.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="141.5072" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="136,-47 136,-47 216,-47 216,-47 136,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M149,-25C149,-25 203,-25 203,-25 209,-25 215,-31 215,-37 215,-37 215,-57 215,-57 215,-63 209,-69 203,-69 203,-69 149,-69 149,-69 143,-69 137,-63 137,-57 137,-57 137,-37 137,-37 137,-31 143,-25 149,-25"/>
</g>
<!-- _p_arithmetic_s6 -->
<g id="node14" class="node">
<title>_p_arithmetic_s6</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="198,-201 142,-201 142,-165 198,-165 198,-201"/>
<text text-anchor="start" x="163.6646" 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="M154.3333,-166C154.3333,-166 185.6667,-166 185.6667,-166 191.3333,-166 197,-171.6667 197,-177.3333 197,-177.3333 197,-188.6667 197,-188.6667 197,-194.3333 191.3333,-200 185.6667,-200 185.6667,-200 154.3333,-200 154.3333,-200 148.6667,-200 143,-194.3333 143,-188.6667 143,-188.6667 143,-177.3333 143,-177.3333 143,-171.6667 148.6667,-166 154.3333,-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="M171.6754,-164.5922C172.3626,-155.5369 173,-144.4548 173,-134.5 173,-134.5 173,-134.5 173,-87.5 173,-85.1205 173.0521,-82.6644 173.1427,-80.1934"/>
<polygon fill="#000000" stroke="#000000" points="176.6428,-80.2855 173.6958,-70.1088 169.6533,-79.902 176.6428,-80.2855"/>
<text text-anchor="start" x="173" 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="node15" class="node">
<title>_p_arithmetic_s5</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="192,-337 136,-337 136,-301 192,-301 192,-337"/>
<text text-anchor="start" x="157.6646" 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="M148.3333,-302C148.3333,-302 179.6667,-302 179.6667,-302 185.3333,-302 191,-307.6667 191,-313.3333 191,-313.3333 191,-324.6667 191,-324.6667 191,-330.3333 185.3333,-336 179.6667,-336 179.6667,-336 148.3333,-336 148.3333,-336 142.6667,-336 137,-330.3333 137,-324.6667 137,-324.6667 137,-313.3333 137,-313.3333 137,-307.6667 142.6667,-302 148.3333,-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="M160.6492,-300.6417C159.2748,-291.5981 158,-280.5115 158,-270.5 158,-270.5 158,-270.5 158,-223.5 158,-219.4093 158.5697,-215.1785 159.4609,-211.0627"/>
<polygon fill="#000000" stroke="#000000" points="162.8924,-211.7865 162.197,-201.2145 156.1478,-209.9126 162.8924,-211.7865"/>
<text text-anchor="start" x="158" 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="node16" class="node">
<title>_p_arithmetic_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="192,-460 136,-460 136,-424 192,-424 192,-460"/>
<text text-anchor="start" x="157.6646" 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="M148.3333,-425C148.3333,-425 179.6667,-425 179.6667,-425 185.3333,-425 191,-430.6667 191,-436.3333 191,-436.3333 191,-447.6667 191,-447.6667 191,-453.3333 185.3333,-459 179.6667,-459 179.6667,-459 148.3333,-459 148.3333,-459 142.6667,-459 137,-453.3333 137,-447.6667 137,-447.6667 137,-436.3333 137,-436.3333 137,-430.6667 142.6667,-425 148.3333,-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="M164,-423.9402C164,-418.3497 164,-412.1701 164,-406.5 164,-406.5 164,-406.5 164,-359.5 164,-355.6152 164,-351.5209 164,-347.4883"/>
<polygon fill="#000000" stroke="#000000" points="167.5001,-347.1447 164,-337.1447 160.5001,-347.1448 167.5001,-347.1447"/>
<text text-anchor="start" x="164" 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="node17" class="node">
<title>_p_arithmetic_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="192,-578 136,-578 136,-542 192,-542 192,-578"/>
<text text-anchor="start" x="157.6646" 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="M148.3333,-543C148.3333,-543 179.6667,-543 179.6667,-543 185.3333,-543 191,-548.6667 191,-554.3333 191,-554.3333 191,-565.6667 191,-565.6667 191,-571.3333 185.3333,-577 179.6667,-577 179.6667,-577 148.3333,-577 148.3333,-577 142.6667,-577 137,-571.3333 137,-565.6667 137,-565.6667 137,-554.3333 137,-554.3333 137,-548.6667 142.6667,-543 148.3333,-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="M164,-541.9402C164,-536.3497 164,-530.1701 164,-524.5 164,-524.5 164,-524.5 164,-477.5 164,-475.1079 164,-472.6252 164,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="167.5001,-470.0597 164,-460.0598 160.5001,-470.0598 167.5001,-470.0597"/>
<text text-anchor="start" x="164" 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="node18" class="node">
<title>_p_arithmetic_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="192,-696 136,-696 136,-660 192,-660 192,-696"/>
<text text-anchor="start" x="157.6646" 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="M148.3333,-661C148.3333,-661 179.6667,-661 179.6667,-661 185.3333,-661 191,-666.6667 191,-672.3333 191,-672.3333 191,-683.6667 191,-683.6667 191,-689.3333 185.3333,-695 179.6667,-695 179.6667,-695 148.3333,-695 148.3333,-695 142.6667,-695 137,-689.3333 137,-683.6667 137,-683.6667 137,-672.3333 137,-672.3333 137,-666.6667 142.6667,-661 148.3333,-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="M160.4194,-659.6439C159.618,-654.1523 159,-648.1016 159,-642.5 159,-642.5 159,-642.5 159,-595.5 159,-593.2243 159.102,-590.8746 159.2768,-588.5183"/>
<polygon fill="#000000" stroke="#000000" points="162.7801,-588.6846 160.4194,-578.3561 155.8239,-587.9024 162.7801,-588.6846"/>
<text text-anchor="start" x="159" 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="M164,-777.9402C164,-772.3497 164,-766.1701 164,-760.5 164,-760.5 164,-760.5 164,-713.5 164,-711.1079 164,-708.6252 164,-706.1342"/>
<polygon fill="#000000" stroke="#000000" points="167.5001,-706.0597 164,-696.0598 160.5001,-706.0598 167.5001,-706.0597"/>
<text text-anchor="start" x="164" 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="node21" class="node">
<title>_p_comparisons_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="70" cy="-901.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_comparisons_s1 -->
<g id="node26" class="node">
<title>_p_comparisons_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="98,-814 42,-814 42,-778 98,-778 98,-814"/>
<text text-anchor="start" x="63.6646" 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="M54.3333,-779C54.3333,-779 85.6667,-779 85.6667,-779 91.3333,-779 97,-784.6667 97,-790.3333 97,-790.3333 97,-801.6667 97,-801.6667 97,-807.3333 91.3333,-813 85.6667,-813 85.6667,-813 54.3333,-813 54.3333,-813 48.6667,-813 43,-807.3333 43,-801.6667 43,-801.6667 43,-790.3333 43,-790.3333 43,-784.6667 48.6667,-779 54.3333,-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="M70,-895.8288C70,-891.1736 70,-884.4097 70,-878.5 70,-878.5 70,-878.5 70,-831.5 70,-829.1079 70,-826.6252 70,-824.1342"/>
<polygon fill="#000000" stroke="#000000" points="73.5001,-824.0597 70,-814.0598 66.5001,-824.0598 73.5001,-824.0597"/>
<text text-anchor="middle" x="71.3895" y="-852" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_comparisons_ok -->
<g id="node22" class="node">
<title>_p_comparisons_ok</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="112,-342 32,-342 32,-296 112,-296 112,-342"/>
<text text-anchor="start" x="65.6646" y="-325.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">ok</text>
<text text-anchor="start" x="37.5072" y="-305.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.ok</text>
<polygon fill="#000000" stroke="#000000" points="32,-319 32,-319 112,-319 112,-319 32,-319"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-297C45,-297 99,-297 99,-297 105,-297 111,-303 111,-309 111,-309 111,-329 111,-329 111,-335 105,-341 99,-341 99,-341 45,-341 45,-341 39,-341 33,-335 33,-329 33,-329 33,-309 33,-309 33,-303 39,-297 45,-297"/>
</g>
<!-- _p_comparisons_s4 -->
<g id="node23" class="node">
<title>_p_comparisons_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-460 43,-460 43,-424 99,-424 99,-460"/>
<text text-anchor="start" x="64.6646" 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="M55.3333,-425C55.3333,-425 86.6667,-425 86.6667,-425 92.3333,-425 98,-430.6667 98,-436.3333 98,-436.3333 98,-447.6667 98,-447.6667 98,-453.3333 92.3333,-459 86.6667,-459 86.6667,-459 55.3333,-459 55.3333,-459 49.6667,-459 44,-453.3333 44,-447.6667 44,-447.6667 44,-436.3333 44,-436.3333 44,-430.6667 49.6667,-425 55.3333,-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="M71,-423.9402C71,-418.3497 71,-412.1701 71,-406.5 71,-406.5 71,-406.5 71,-359.5 71,-357.1262 71.0174,-354.6744 71.0476,-352.2065"/>
<polygon fill="#000000" stroke="#000000" points="74.5483,-352.1906 71.2319,-342.1282 67.5495,-352.0625 74.5483,-352.1906"/>
<text text-anchor="start" x="71" 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="node24" class="node">
<title>_p_comparisons_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-578 43,-578 43,-542 99,-542 99,-578"/>
<text text-anchor="start" x="64.6646" 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="M55.3333,-543C55.3333,-543 86.6667,-543 86.6667,-543 92.3333,-543 98,-548.6667 98,-554.3333 98,-554.3333 98,-565.6667 98,-565.6667 98,-571.3333 92.3333,-577 86.6667,-577 86.6667,-577 55.3333,-577 55.3333,-577 49.6667,-577 44,-571.3333 44,-565.6667 44,-565.6667 44,-554.3333 44,-554.3333 44,-548.6667 49.6667,-543 55.3333,-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="M71,-541.9402C71,-536.3497 71,-530.1701 71,-524.5 71,-524.5 71,-524.5 71,-477.5 71,-475.1079 71,-472.6252 71,-470.1342"/>
<polygon fill="#000000" stroke="#000000" points="74.5001,-470.0597 71,-460.0598 67.5001,-470.0598 74.5001,-470.0597"/>
<text text-anchor="start" x="71" 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="node25" class="node">
<title>_p_comparisons_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-696 43,-696 43,-660 99,-660 99,-696"/>
<text text-anchor="start" x="64.6646" 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="M55.3333,-661C55.3333,-661 86.6667,-661 86.6667,-661 92.3333,-661 98,-666.6667 98,-672.3333 98,-672.3333 98,-683.6667 98,-683.6667 98,-689.3333 92.3333,-695 86.6667,-695 86.6667,-695 55.3333,-695 55.3333,-695 49.6667,-695 44,-689.3333 44,-683.6667 44,-683.6667 44,-672.3333 44,-672.3333 44,-666.6667 49.6667,-661 55.3333,-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="M71,-659.9402C71,-654.3497 71,-648.1701 71,-642.5 71,-642.5 71,-642.5 71,-595.5 71,-593.1079 71,-590.6252 71,-588.1342"/>
<polygon fill="#000000" stroke="#000000" points="74.5001,-588.0597 71,-578.0598 67.5001,-588.0598 74.5001,-588.0597"/>
<text text-anchor="start" x="71" 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="M70,-777.9402C70,-772.3497 70,-766.1701 70,-760.5 70,-760.5 70,-760.5 70,-713.5 70,-711.107 70.023,-708.6235 70.062,-706.1322"/>
<polygon fill="#000000" stroke="#000000" points="73.5628,-706.1351 70.2946,-696.057 66.5646,-705.9735 73.5628,-706.1351"/>
<text text-anchor="start" x="70" y="-734" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[1 == 1] &#160;&#160;</text>
</g>
</g>
</svg>