modelverse/techreport/conformance_bottom/figures/rule.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   id="svg3174"
   version="1.1"
   inkscape:version="0.48.5 r10040"
   width="647.5"
   height="547.5"
   xml:space="preserve"
   sodipodi:docname="while_true.svg"><metadata
     id="metadata3180"><rdf:RDF><cc:Work
         rdf:about=""><dc:format>image/svg+xml</dc:format><dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" /></cc:Work></rdf:RDF></metadata><defs
     id="defs3178" /><sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="2558"
     inkscape:window-height="1422"
     id="namedview3176"
     showgrid="false"
     inkscape:zoom="2.2922374"
     inkscape:cx="323.75"
     inkscape:cy="343.5508"
     inkscape:window-x="0"
     inkscape:window-y="16"
     inkscape:window-maximized="0"
     inkscape:current-layer="g3182" /><g
     id="g3182"
     inkscape:groupmode="layer"
     inkscape:label="ink_ext_XXXXXX"
     transform="matrix(1.25,0,0,-1.25,0,547.5)"><g
       id="g3541"><path
         d="m 77.0898,243 c 0,9.941 -16.2253,18 -36.2398,18 -20.0145,0 -36.23984,-8.059 -36.23984,-18 0,-9.941 16.22534,-18 36.23984,-18 20.0145,0 36.2398,8.059 36.2398,18"
         style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
         id="path3186"
         inkscape:connector-curvature="0" /><g
         id="g3188"><text
           transform="matrix(1,0,0,-1,22.5801,238.8)"
           id="text3190"><tspan
             style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman"
             x="0 4.6621566 10.878313 17.878469 24.878626 31.878782"
             y="0"
             sodipodi:role="line"
             id="tspan3192">’cond’</tspan></text>
</g></g><g
       id="g3535"><path
         d="m 157.7,243 c 0,9.941 -13.364,18 -29.85,18 C 111.364,261 98,252.941 98,243 c 0,-9.941 13.364,-18 29.85,-18 16.486,0 29.85,8.059 29.85,18"
         style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
         id="path3194"
         inkscape:connector-curvature="0" /><g
         id="g3196"><text
           transform="matrix(1,0,0,-1,113.85,238.8)"
           id="text3198"><tspan
             style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman"
             x="0 4.6605287 8.5510569 15.549585 19.440113 23.330643"
             y="0"
             sodipodi:role="line"
             id="tspan3200">’init’</tspan></text>
</g></g><g
       id="g3553"><path
         d="m 341.98,81 c 0,9.941 -15.281,18 -34.13,18 -18.849,0 -34.13,-8.059 -34.13,-18 0,-9.941 15.281,-18 34.13,-18 18.849,0 34.13,8.059 34.13,18"
         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
         id="path3202"
         inkscape:connector-curvature="0" /><g
         id="g3204"><text
           transform="matrix(1,0,0,-1,290.74,76.8)"
           id="text3206"><tspan
             style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman"
             x="0 13.215031 20.214062 24.105093 27.996124"
             y="0"
             sodipodi:role="line"
             id="tspan3208">While</tspan></text>
</g></g><path
       inkscape:connector-curvature="0"
       id="path3210"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 433.65,7 c 0,0.99375 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.80625 -1.8,-1.8 0,-0.99375 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.80625 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3212"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 433.65,7 c 0,0.99375 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.80625 -1.8,-1.8 0,-0.99375 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.80625 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3214"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="M 330.59,67.4301 C 357.58,51.3199 401.44,25.15 421.38,13.25" /><path
       inkscape:connector-curvature="0"
       id="path3216"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="M 423.41,16.1102 430.2,7.98008 419.82,10.1" /><path
       inkscape:connector-curvature="0"
       id="path3218"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="M 423.41,16.1102 430.2,7.98008 419.82,10.1 l 3.59,6.0102 z" /><g
       id="g3220"><text
         id="text3222"
         transform="matrix(1,0,0,-1,395.85,31.8)"><tspan
           id="tspan3224"
           sodipodi:role="line"
           y="0"
           x="0 4.661427 11.660854 18.660282 25.659708 32.659134"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’body’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3226"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 242.65,243 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3228"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 242.65,243 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3230"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 336.65,162 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3232"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 336.65,162 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3234"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 242.48,241.59 c 9.89,-8.52 62.08,-53.49 83.34,-71.81" /><path
       inkscape:connector-curvature="0"
       id="path3236"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 328.16,172.38 5.29,-9.18 -9.86,3.88" /><path
       inkscape:connector-curvature="0"
       id="path3238"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 328.16,172.38 5.29,-9.18 -9.86,3.88 4.57,5.3 z" /><g
       id="g3240"><text
         id="text3242"
         transform="matrix(1,0,0,-1,301.85,193.8)"><tspan
           id="tspan3244"
           sodipodi:role="line"
           y="0"
           x="0 4.6618695 11.661739 16.323608 22.539478 29.539349"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’prev’</tspan></text>
</g><g
       id="g3559"><path
         d="m 422.7,81 c 0,9.941 -13.364,18 -29.85,18 C 376.364,99 363,90.941 363,81 c 0,-9.941 13.364,-18 29.85,-18 16.486,0 29.85,8.059 29.85,18"
         style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
         id="path3246"
         inkscape:connector-curvature="0" /><g
         id="g3248"><text
           transform="matrix(1,0,0,-1,378.85,76.8)"
           id="text3250"><tspan
             style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman"
             x="0 4.6605287 8.5510569 15.549585 19.440113 23.330643"
             y="0"
             sodipodi:role="line"
             id="tspan3252">’init’</tspan></text>
</g></g><g
       id="g3547"><path
         d="m 337.62,243 c 0,9.941 -12.881,18 -28.77,18 -15.889,0 -28.77,-8.059 -28.77,-18 0,-9.941 12.881,-18 28.77,-18 15.889,0 28.77,8.059 28.77,18"
         style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
         id="path3254"
         inkscape:connector-curvature="0" /><g
         id="g3256"><text
           transform="matrix(1,0,0,-1,295.63,238.8)"
           id="text3258"><tspan
             style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman"
             x="0 8.553688 13.215375 20.215063"
             y="0"
             sodipodi:role="line"
             id="tspan3260">True</tspan></text>
</g></g><path
       inkscape:connector-curvature="0"
       id="path3262"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 223.65,433 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3264"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 223.65,433 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3266"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 223.65,375 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3268"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 223.65,375 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3270"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 221.85,431.07 c 0,-6.74 0,-29.61 0,-43.98" /><path
       inkscape:connector-curvature="0"
       id="path3272"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 225.35,387 -3.5,-10 -3.5,10" /><path
       inkscape:connector-curvature="0"
       id="path3274"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 225.35,387 -3.5,-10 -3.5,10 7,0 z" /><g
       id="g3276"
       transform="translate(0,18.72)"><text
         id="text3278"
         transform="matrix(1,0,0,-1,221.85,399.8)"><tspan
           id="tspan3280"
           sodipodi:role="line"
           y="0"
           x="0 6.999238 12.444476 18.659714 23.320951 30.32019 36.535427 47.426666"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">username</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3282"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 223.65,317 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3284"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 223.65,317 c 0,0.994 -0.806,1.8 -1.8,1.8 -0.994,0 -1.8,-0.806 -1.8,-1.8 0,-0.994 0.806,-1.8 1.8,-1.8 0.994,0 1.8,0.806 1.8,1.8" /><path
       inkscape:connector-curvature="0"
       id="path3286"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 221.85,373.07 c 0,-6.74 0,-29.61 0,-43.98" /><path
       inkscape:connector-curvature="0"
       id="path3288"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 225.35,329 -3.5,-10 -3.5,10" /><path
       inkscape:connector-curvature="0"
       id="path3290"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 225.35,329 -3.5,-10 -3.5,10 7,0 z" /><g
       id="g3292"><text
         id="text3294"
         transform="matrix(1,0,0,-1,221.85,341.8)"><tspan
           id="tspan3296"
           sodipodi:role="line"
           y="0"
           x="0 4.6605825 9.3211651 13.981748 20.196331 31.086912 37.301495"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’frame’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3298"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:9, 9;stroke-dashoffset:0"
       d="M 219.85,316.93 C 204.57,316.34 105.74,311.97 80.65,297 69.6699,290.44 60.7801,279.57 54.2199,269.3" /><path
       inkscape:connector-curvature="0"
       id="path3300"
       style="fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 57.15,267.38 -8.1,-6.83 2.0699,10.39" /><path
       inkscape:connector-curvature="0"
       id="path3302"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 57.15,267.38 -8.1,-6.83 2.0699,10.39 6.0301,-3.56 z" /><g
       id="g3304"><text
         id="text3306"
         transform="matrix(1,0,0,-1,80.85,283.8)"><tspan
           id="tspan3308"
           sodipodi:role="line"
           y="0"
           x="0 4.6619444 11.661889 18.661833 24.877777 30.323723 36.539665"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’phase’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3310"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 219.96,316.87 c -11.78,-0.85 -75.18,-6.02 -87.31,-19.87 -6.13,-7 -8.24,-16.64 -8.53,-25.84" /><path
       inkscape:connector-curvature="0"
       id="path3312"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 127.62,271.24 -3.16,-10.11 -3.83,9.87" /><path
       inkscape:connector-curvature="0"
       id="path3314"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 127.62,271.24 -3.16,-10.11 -3.83,9.87 6.99,0.24 z" /><g
       id="g3316"><text
         id="text3318"
         transform="matrix(1,0,0,-1,132.85,283.8)"><tspan
           id="tspan3320"
           sodipodi:role="line"
           y="0"
           x="0 4.6619444 11.661889 18.661833 24.877777 30.323723 36.539665"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’phase’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3322"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:9, 9;stroke-dashoffset:0"
       d="m 221.47,315.14 c -0.69,-3.53 -2.12,-11.42 -2.62,-18.14 -2.41,-32.28 -0.06,-41.58 11,-72 15.79,-43.45 42.99,-89.81 60.74,-117.84" /><path
       inkscape:connector-curvature="0"
       id="path3324"
       style="fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 293.76,108.69 2.45,-10.3099 -8.34,6.5299" /><path
       inkscape:connector-curvature="0"
       id="path3326"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 293.76,108.69 2.45,-10.3099 -8.34,6.5299 5.89,3.78 z" /><g
       id="g3328"><text
         id="text3330"
         transform="matrix(1,0,0,-1,244.85,193.8)"><tspan
           id="tspan3332"
           sodipodi:role="line"
           y="0"
           x="0 4.6597152 9.3194304 17.101145"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’IP’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3334"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 221.82,314.9 c -0.03,-5.81 0.22,-22.54 3.62,-35.9 2.25,-8.84 6.37,-18.3 9.79,-25.3" /><path
       inkscape:connector-curvature="0"
       id="path3336"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 238.46,255.08 1.49,-10.49 -7.71,7.26" /><path
       inkscape:connector-curvature="0"
       id="path3338"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 238.46,255.08 1.49,-10.49 -7.71,7.26 6.22,3.23 z" /><g
       id="g3340"><text
         id="text3342"
         transform="matrix(1,0,0,-1,225.85,283.8)"><tspan
           id="tspan3344"
           sodipodi:role="line"
           y="0"
           x="0 4.6615243 10.877048 17.876574 24.092096 27.983622 33.429146 37.320671 43.536194 49.751717 56.751244"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’evalstack’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3346"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 223.65,316.66 c 9.47,-1.81 53.27,-10.57 63.2,-19.66 7.51,-6.88 12.51,-16.69 15.82,-26.07" /><path
       inkscape:connector-curvature="0"
       id="path3348"
       style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 306.11,271.67 -0.47,-10.58 -6.24,8.56" /><path
       inkscape:connector-curvature="0"
       id="path3350"
       style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 306.11,271.67 -0.47,-10.58 -6.24,8.56 6.71,2.02 z" /><g
       id="g3352"><text
         id="text3354"
         transform="matrix(1,0,0,-1,299.85,283.8)"><tspan
           id="tspan3356"
           sodipodi:role="line"
           y="0"
           x="0 4.6614347 9.3228693 15.538304 19.429739 26.429174 31.090609 38.090042 45.089478 51.304913 55.19635 62.195782 68.411217"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’returnvalue’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3358"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:9, 9;stroke-dashoffset:0"
       d="m 223.88,316.9 c 17.5,-0.91 142.31,-7.78 152.97,-19.9 33.32,-37.9 -13.96,-101.99 -33.88,-125.76" /><path
       inkscape:connector-curvature="0"
       id="path3360"
       style="fill:#0000ff;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 345.48,168.79 -9.2,-5.24 3.92,9.84" /><path
       inkscape:connector-curvature="0"
       id="path3362"
       style="fill:none;stroke:#0000ff;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 345.48,168.79 -9.2,-5.24 3.92,9.84 5.28,-4.6 z" /><g
       id="g3364"><text
         id="text3366"
         transform="matrix(1,0,0,-1,388.85,238.8)"><tspan
           id="tspan3368"
           sodipodi:role="line"
           y="0"
           x="0 4.6615243 10.877048 17.876574 24.092096 27.983622 33.429146 37.320671 43.536194 49.751717 56.751244"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’evalstack’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3370"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 223.8,316.88 c 16.81,-1.02 137.62,-8.72 172.05,-19.88 46.56,-15.09 96,-5.05 96,-54 0,0 0,0 0,-162 0,-31.2102 -32.59,-56.6102 -49.74,-67.8102" /><path
       inkscape:connector-curvature="0"
       id="path3372"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 443.93,10.2 -10.35,-2.23984 6.7,8.20974" /><path
       inkscape:connector-curvature="0"
       id="path3374"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 443.93,10.2 -10.35,-2.23984 6.7,8.20974 3.65,-5.9699 z" /><g
       id="g3376"><text
         id="text3378"
         transform="matrix(1,0,0,-1,491.85,157.8)"><tspan
           id="tspan3380"
           sodipodi:role="line"
           y="0"
           x="0 4.6597152 9.3194304 17.101145"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’IP’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3382"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 334.18,160 c -2.36,-7.09 -10.54,-31.62 -17.16,-51.48" /><path
       inkscape:connector-curvature="0"
       id="path3384"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 320.31,107.33 -6.48,-8.38 -0.16,10.6" /><path
       inkscape:connector-curvature="0"
       id="path3386"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 320.31,107.33 -6.48,-8.38 -0.16,10.6 6.64,-2.22 z" /><g
       id="g3388"><text
         id="text3390"
         transform="matrix(1,0,0,-1,325.85,121.8)"><tspan
           id="tspan3392"
           sodipodi:role="line"
           y="0"
           x="0 4.6615443 8.5530882 15.552632 20.998177 24.889721"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’inst’</tspan></text>
</g><path
       inkscape:connector-curvature="0"
       id="path3394"
       style="fill:none;stroke:#00ff00;stroke-width:4;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 336.23,160.61 c 3.83,-3.87 14.78,-15.18 22.62,-25.61 6.58,-8.77 13.16,-18.83 18.75,-27.88" /><path
       inkscape:connector-curvature="0"
       id="path3396"
       style="fill:#00ff00;fill-opacity:1;fill-rule:nonzero;stroke:none"
       d="m 380.63,108.87 2.19,-10.3598 -8.17,6.7298" /><path
       inkscape:connector-curvature="0"
       id="path3398"
       style="fill:none;stroke:#00ff00;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:1;stroke-opacity:1;stroke-dasharray:none"
       d="m 380.63,108.87 2.19,-10.3598 -8.17,6.7298 5.98,3.63 z" /><g
       id="g3400"><text
         id="text3402"
         transform="matrix(1,0,0,-1,371.85,121.8)"><tspan
           id="tspan3404"
           sodipodi:role="line"
           y="0"
           x="0 4.6619444 11.661889 18.661833 24.877777 30.323723 36.539665"
           style="font-size:14px;font-variant:normal;font-weight:normal;writing-mode:lr-tb;fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none;font-family:Times;-inkscape-font-specification:Times-Roman">’phase’</tspan></text>
</g></g></svg>