clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <svg
   3    xmlns:dc="http://purl.org/dc/elements/1.1/"
   4    xmlns:cc="http://creativecommons.org/ns#"
   5    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   6    xmlns:svg="http://www.w3.org/2000/svg"
   7    xmlns="http://www.w3.org/2000/svg"
   8    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   9    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
  10    id="svg8"
  11    version="1.1"
  12    viewBox="0 0 220 210"
  13    height="210mm"
  14    width="220mm">
  15   <defs
  16      id="defs2">
  17     <marker
  18        inkscape:isstock="true"
  19        style="overflow:visible"
  20        id="Arrow2Lend"
  21        refX="0"
  22        refY="0"
  23        orient="auto"
  24        inkscape:stockid="Arrow2Lend">
  25       <path
  26          transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
  27          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  28          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  29          id="path1109" />
  30     </marker>
  31     <marker
  32        inkscape:isstock="true"
  33        style="overflow:visible"
  34        id="Arrow1Lend"
  35        refX="0"
  36        refY="0"
  37        orient="auto"
  38        inkscape:stockid="Arrow1Lend">
  39       <path
  40          transform="matrix(-0.8,0,0,-0.8,-10,0)"
  41          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  42          d="M 0,0 5,-5 -12.5,0 5,5 Z"
  43          id="path1091" />
  44     </marker>
  45     <marker
  46        inkscape:stockid="Arrow2Lend"
  47        orient="auto"
  48        refY="0"
  49        refX="0"
  50        id="Arrow2Lend-5"
  51        style="overflow:visible"
  52        inkscape:isstock="true">
  53       <path
  54          id="path1109-7"
  55          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  56          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  57          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
  58     </marker>
  59     <marker
  60        inkscape:stockid="Arrow2Lend"
  61        orient="auto"
  62        refY="0"
  63        refX="0"
  64        id="Arrow2Lend-6"
  65        style="overflow:visible"
  66        inkscape:isstock="true">
  67       <path
  68          id="path1109-77"
  69          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  70          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  71          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
  72     </marker>
  73     <marker
  74        inkscape:stockid="Arrow2Lend"
  75        orient="auto"
  76        refY="0"
  77        refX="0"
  78        id="Arrow2Lend-1"
  79        style="overflow:visible"
  80        inkscape:isstock="true">
  81       <path
  82          id="path1109-0"
  83          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  84          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  85          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
  86     </marker>
  87     <marker
  88        inkscape:stockid="Arrow2Lend"
  89        orient="auto"
  90        refY="0"
  91        refX="0"
  92        id="Arrow2Lend-8"
  93        style="overflow:visible"
  94        inkscape:isstock="true">
  95       <path
  96          id="path1109-73"
  97          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
  98          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
  99          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 100     </marker>
 101     <marker
 102        inkscape:stockid="Arrow2Lend"
 103        orient="auto"
 104        refY="0"
 105        refX="0"
 106        id="Arrow2Lend-81"
 107        style="overflow:visible"
 108        inkscape:isstock="true">
 109       <path
 110          id="path1109-8"
 111          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 112          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 113          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 114     </marker>
 115     <marker
 116        inkscape:stockid="Arrow2Lend"
 117        orient="auto"
 118        refY="0"
 119        refX="0"
 120        id="Arrow2Lend-7"
 121        style="overflow:visible"
 122        inkscape:isstock="true">
 123       <path
 124          id="path1109-5"
 125          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 126          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 127          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 128     </marker>
 129     <marker
 130        inkscape:stockid="Arrow2Lend"
 131        orient="auto"
 132        refY="0"
 133        refX="0"
 134        id="Arrow2Lend-2"
 135        style="overflow:visible"
 136        inkscape:isstock="true">
 137       <path
 138          id="path1109-6"
 139          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 140          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 141          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 142     </marker>
 143     <marker
 144        inkscape:stockid="Arrow2Lend"
 145        orient="auto"
 146        refY="0"
 147        refX="0"
 148        id="Arrow2Lend-83"
 149        style="overflow:visible"
 150        inkscape:isstock="true">
 151       <path
 152          id="path1109-88"
 153          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 154          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 155          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 156     </marker>
 157     <marker
 158        inkscape:stockid="Arrow2Lend"
 159        orient="auto"
 160        refY="0"
 161        refX="0"
 162        id="Arrow2Lend-0"
 163        style="overflow:visible"
 164        inkscape:isstock="true">
 165       <path
 166          id="path1109-81"
 167          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 168          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 169          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 170     </marker>
 171     <marker
 172        inkscape:stockid="Arrow2Lend"
 173        orient="auto"
 174        refY="0"
 175        refX="0"
 176        id="Arrow2Lend-15"
 177        style="overflow:visible"
 178        inkscape:isstock="true">
 179       <path
 180          id="path1109-67"
 181          style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
 182          d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
 183          transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
 184     </marker>
 185   </defs>
 186   <g
 187      id="layer1"
 188      inkscape:groupmode="layer"
 189      inkscape:label="Layer 1">
 190     <rect
 191        y="2.6458333"
 192        x="55.5625"
 193        height="10.583333"
 194        width="42.333332"
 195        id="rect12"
 196        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
 197     <text
 198        id="text839"
 199        y="9.2361279"
 200        x="76.561562"
 201        style="font-size:4.93889px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 202        xml:space="preserve"><tspan
 203          style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 204          y="9.2361279"
 205          x="76.561562"
 206          id="tspan837"
 207          sodipodi:role="line">Entry</tspan></text>
 208     <rect
 209        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 210        id="rect12-8"
 211        width="52.916668"
 212        height="26.458334"
 213        x="50.270832"
 214        y="23.812498" />
 215     <text
 216        xml:space="preserve"
 217        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 218        x="54.303524"
 219        y="30.288889"
 220        id="text839-6"><tspan
 221          sodipodi:role="line"
 222          id="tspan837-3"
 223          x="54.303524"
 224          y="30.288889"
 225          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊥</tspan><tspan
 226          id="tspan876"
 227          sodipodi:role="line"
 228          x="54.303524"
 229          y="35.772423"
 230          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">int x;</tspan><tspan
 231          id="tspan878"
 232          sodipodi:role="line"
 233          x="54.303524"
 234          y="41.255955"
 235          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">if (n &gt; 0)</tspan><tspan
 236          id="tspan874"
 237          sodipodi:role="line"
 238          x="54.303524"
 239          y="47.197174"
 240          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is ⊥</tspan></text>
 241     <rect
 242        y="92.604164"
 243        x="2.6458302"
 244        height="21.166666"
 245        width="52.916668"
 246        id="rect12-8-6"
 247        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
 248     <text
 249        id="text839-6-0"
 250        y="99.405327"
 251        x="6.154747"
 252        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 253        xml:space="preserve"><tspan
 254          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 255          y="99.405327"
 256          x="6.154747"
 257          id="tspan837-3-1"
 258          sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
 259          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 260          y="104.88886"
 261          x="6.154747"
 262          sodipodi:role="line"
 263          id="tspan878-2">x = n;</tspan><tspan
 264          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 265          y="110.37239"
 266          x="6.154747"
 267          sodipodi:role="line"
 268          id="tspan874-3">// Post: x is ⊤</tspan></text>
 269     <rect
 270        y="60.854168"
 271        x="121.70833"
 272        height="21.166666"
 273        width="52.916668"
 274        id="rect12-8-3"
 275        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
 276     <text
 277        id="text839-6-3"
 278        y="67.426483"
 279        x="125.74102"
 280        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 281        xml:space="preserve"><tspan
 282          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 283          y="67.426483"
 284          x="125.74102"
 285          id="tspan837-3-7"
 286          sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
 287          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 288          y="72.910019"
 289          x="125.74102"
 290          sodipodi:role="line"
 291          id="tspan878-1">if (n == 42)</tspan><tspan
 292          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 293          y="78.851234"
 294          x="125.74102"
 295          sodipodi:role="line"
 296          id="tspan874-8">// Post: x is ⊥</tspan></text>
 297     <rect
 298        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 299        id="rect12-8-3-3"
 300        width="58.208344"
 301        height="21.16667"
 302        x="84.666664"
 303        y="92.604164" />
 304     <text
 305        xml:space="preserve"
 306        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 307        x="88.860504"
 308        y="99.025513"
 309        id="text839-6-3-7"><tspan
 310          sodipodi:role="line"
 311          id="tspan837-3-7-6"
 312          x="88.860504"
 313          y="99.025513"
 314          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊥</tspan><tspan
 315          id="tspan878-1-1"
 316          sodipodi:role="line"
 317          x="88.860504"
 318          y="104.50905"
 319          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">x = 5;</tspan><tspan
 320          id="tspan874-8-5"
 321          sodipodi:role="line"
 322          x="88.860504"
 323          y="109.99258"
 324          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5}</tspan></text>
 325     <rect
 326        y="92.604164"
 327        x="153.45834"
 328        height="21.166677"
 329        width="58.208328"
 330        id="rect12-8-3-3-3"
 331        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
 332     <text
 333        id="text839-6-3-7-8"
 334        y="99.025513"
 335        x="156.17146"
 336        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 337        xml:space="preserve"><tspan
 338          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 339          y="99.025513"
 340          x="156.17146"
 341          id="tspan837-3-7-6-0"
 342          sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
 343          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 344          y="104.50905"
 345          x="156.17146"
 346          sodipodi:role="line"
 347          id="tspan878-1-1-7">x = 44;</tspan><tspan
 348          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
 349          y="109.99258"
 350          x="156.17146"
 351          sodipodi:role="line"
 352          id="tspan874-8-5-9">// Post: x is {44}</tspan></text>
 353     <rect
 354        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 355        id="rect12-8-3-35"
 356        width="68.791672"
 357        height="21.166672"
 358        x="113.77083"
 359        y="124.35416" />
 360     <text
 361        xml:space="preserve"
 362        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 363        x="117.2491"
 364        y="130.77551"
 365        id="text839-6-3-8"><tspan
 366          sodipodi:role="line"
 367          id="tspan837-3-7-7"
 368          x="117.2491"
 369          y="130.77551"
 370          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is {5; 44}</tspan><tspan
 371          id="tspan878-1-2"
 372          sodipodi:role="line"
 373          x="117.2491"
 374          y="136.25905"
 375          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan
 376          id="tspan874-8-54"
 377          sodipodi:role="line"
 378          x="117.2491"
 379          y="141.74258"
 380          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5; 44}</tspan></text>
 381     <rect
 382        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 383        id="rect12-8-6-3"
 384        width="52.916668"
 385        height="21.166666"
 386        x="50.270832"
 387        y="156.10417" />
 388     <text
 389        xml:space="preserve"
 390        style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
 391        x="53.695339"
 392        y="162.79588"
 393        id="text839-6-0-3"><tspan
 394          sodipodi:role="line"
 395          id="tspan837-3-1-7"
 396          x="53.695339"
 397          y="162.79588"
 398          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊤</tspan><tspan
 399          id="tspan878-2-0"
 400          sodipodi:role="line"
 401          x="53.695339"
 402          y="168.49834"
 403          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan
 404          id="tspan874-3-8"
 405          sodipodi:role="line"
 406          x="53.695339"
 407          y="173.98187"
 408          style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is ⊤</tspan></text>
 409     <path
 410        id="path1086"
 411        d="M 76.729166,13.229166 V 23.812499"
 412        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" />
 413     <path
 414        sodipodi:nodetypes="cc"
 415        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)"
 416        d="M 95.249999,50.270833 129.64583,60.854166"
 417        id="path1086-0" />
 418     <path
 419        sodipodi:nodetypes="cc"
 420        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-1)"
 421        d="M 58.208333,50.270833 29.104166,92.604166"
 422        id="path1086-08" />
 423     <path
 424        sodipodi:nodetypes="cc"
 425        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-8)"
 426        d="M 129.64583,82.020833 111.125,92.604166"
 427        id="path1086-2" />
 428     <path
 429        sodipodi:nodetypes="cc"
 430        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-81)"
 431        d="m 166.6875,82.020833 15.875,10.583333"
 432        id="path1086-5" />
 433     <path
 434        sodipodi:nodetypes="cc"
 435        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-7)"
 436        d="m 111.125,113.77084 10.58333,10.58333"
 437        id="path1086-9" />
 438     <path
 439        sodipodi:nodetypes="cc"
 440        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-2)"
 441        d="m 182.5625,113.77084 -7.9375,10.58333"
 442        id="path1086-6" />
 443     <path
 444        sodipodi:nodetypes="cc"
 445        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-83)"
 446        d="M 148.16667,145.52084 95.249999,156.10417"
 447        id="path1086-59" />
 448     <path
 449        sodipodi:nodetypes="cc"
 450        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-0)"
 451        d="m 29.104166,113.77084 29.104167,42.33333"
 452        id="path1086-8" />
 453     <rect
 454        style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 455        id="rect12-3"
 456        width="42.333332"
 457        height="10.583333"
 458        x="55.5625"
 459        y="187.85417" />
 460     <text
 461        xml:space="preserve"
 462        style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 463        x="76.561569"
 464        y="194.44447"
 465        id="text839-3"><tspan
 466          sodipodi:role="line"
 467          id="tspan837-6"
 468          x="76.561569"
 469          y="194.44447"
 470          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">Exit</tspan></text>
 471     <path
 472        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-15)"
 473        d="m 76.729166,177.27084 v 10.58334"
 474        id="path1086-1" />
 475     <text
 476        xml:space="preserve"
 477        style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 478        x="119.0625"
 479        y="55.562504"
 480        id="text839-1"><tspan
 481          sodipodi:role="line"
 482          id="tspan837-4"
 483          x="119.0625"
 484          y="55.562504"
 485          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">True</tspan></text>
 486     <text
 487        id="text839-1-4"
 488        y="87.3125"
 489        x="179.91667"
 490        style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 491        xml:space="preserve"><tspan
 492          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 493          y="87.3125"
 494          x="179.91667"
 495          id="tspan837-4-2"
 496          sodipodi:role="line">True</tspan></text>
 497     <text
 498        id="text839-1-5"
 499        y="87.3125"
 500        x="113.77083"
 501        style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 502        xml:space="preserve"><tspan
 503          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 504          y="87.3125"
 505          x="113.77083"
 506          id="tspan837-4-7"
 507          sodipodi:role="line">False</tspan></text>
 508     <text
 509        xml:space="preserve"
 510        style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
 511        x="44.979164"
 512        y="58.208332"
 513        id="text839-1-5-5"><tspan
 514          sodipodi:role="line"
 515          id="tspan837-4-7-4"
 516          x="44.979164"
 517          y="58.208332"
 518          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">False</tspan></text>
 519   </g>
 520 </svg>