From 1e2ebb397cbbca1a7d2fd35052c3b90a47bb5733 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Fri, 2 Oct 2026 14:27:49 -0700
Subject: README updates thru ch10a

---
 chapter10a/docs/lattice.svg | 260 ++++++++++++++++++++++++--------------------
 1 file changed, 142 insertions(+), 118 deletions(-)

(limited to 'chapter10a/docs/lattice.svg')

diff --git a/chapter10a/docs/lattice.svg b/chapter10a/docs/lattice.svg
index c8bed535..006ab762 100644
--- a/chapter10a/docs/lattice.svg
+++ b/chapter10a/docs/lattice.svg
@@ -4,122 +4,122 @@
 <!-- Generated by graphviz version 12.2.0 (20241103.1931)
  -->
 <!-- Title: Lattice Pages: 1 -->
-<svg width="1647pt" height="533pt"
- viewBox="0.00 0.00 1647.00 533.45" 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 529.45)">
+<svg width="1551pt" height="603pt"
+ viewBox="0.00 0.00 1551.00 603.45" 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 599.45)">
 <title>Lattice</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-529.45 1643,-529.45 1643,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-599.45 1547,-599.45 1547,4 -4,4"/>
 <g id="clust1" class="cluster">
 <title>cluster_control</title>
-<polygon fill="none" stroke="#cccccc" points="8,-85.99 8,-454.71 98,-454.71 98,-85.99 8,-85.99"/>
-<text text-anchor="middle" x="53" y="-437.41" font-family="Arial" font-size="14.00">Control</text>
+<polygon fill="none" stroke="#cccccc" points="8,-85.99 8,-524.71 98,-524.71 98,-85.99 8,-85.99"/>
+<text text-anchor="middle" x="53" y="-507.41" font-family="Arial" font-size="14.00">Control</text>
 </g>
 <g id="clust2" class="cluster">
 <title>cluster_integer</title>
-<polygon fill="none" stroke="#cccccc" points="106,-85.99 106,-454.71 404,-454.71 404,-85.99 106,-85.99"/>
-<text text-anchor="middle" x="255" y="-437.41" font-family="Arial" font-size="14.00">Integer</text>
+<polygon fill="none" stroke="#cccccc" points="106,-85.99 106,-524.71 404,-524.71 404,-85.99 106,-85.99"/>
+<text text-anchor="middle" x="255" y="-507.41" font-family="Arial" font-size="14.00">Integer</text>
 </g>
 <g id="clust6" class="cluster">
 <title>cluster_pointer</title>
-<polygon fill="none" stroke="#cccccc" points="412,-75 412,-465.7 893,-465.7 893,-75 412,-75"/>
-<text text-anchor="middle" x="652.5" y="-448.4" font-family="Arial" font-size="14.00">Pointer = nullability × struct type</text>
+<polygon fill="none" stroke="#cccccc" points="412,-75 412,-535.7 893,-535.7 893,-75 412,-75"/>
+<text text-anchor="middle" x="652.5" y="-518.4" font-family="Arial" font-size="14.00">Pointer = nullability × struct type</text>
 </g>
 <g id="clust13" class="cluster">
 <title>cluster_struct</title>
-<polygon fill="none" stroke="#cccccc" points="901,-75 901,-481.45 1233,-481.45 1233,-75 901,-75"/>
-<text text-anchor="middle" x="1067" y="-464.15" font-family="Arial" font-size="14.00">Struct</text>
-<text text-anchor="middle" x="1067" y="-448.4" font-family="Arial" font-size="14.00">named collection of named scalar types</text>
+<polygon fill="none" stroke="#cccccc" points="901,-75 901,-551.45 1233,-551.45 1233,-75 901,-75"/>
+<text text-anchor="middle" x="1067" y="-534.15" font-family="Arial" font-size="14.00">Struct</text>
+<text text-anchor="middle" x="1067" y="-518.4" font-family="Arial" font-size="14.00">named collection of named scalar types</text>
 </g>
 <g id="clust17" class="cluster">
 <title>cluster_memory</title>
-<polygon fill="none" stroke="#cccccc" points="1241,-85.99 1241,-454.71 1347,-454.71 1347,-85.99 1241,-85.99"/>
-<text text-anchor="middle" x="1294" y="-437.41" font-family="Arial" font-size="14.00">Memory</text>
+<polygon fill="none" stroke="#cccccc" points="1241,-85.99 1241,-524.71 1347,-524.71 1347,-85.99 1241,-85.99"/>
+<text text-anchor="middle" x="1294" y="-507.41" font-family="Arial" font-size="14.00">Memory</text>
 </g>
 <g id="clust18" class="cluster">
 <title>cluster_tuple</title>
-<polygon fill="none" stroke="#cccccc" points="1355,-85.99 1355,-470.46 1631,-470.46 1631,-85.99 1355,-85.99"/>
-<text text-anchor="middle" x="1493" y="-453.16" font-family="Arial" font-size="14.00">Tuple</text>
-<text text-anchor="middle" x="1493" y="-437.41" font-family="Arial" font-size="14.00">collection of types</text>
+<polygon fill="none" stroke="#cccccc" points="1355,-85.99 1355,-540.46 1535,-540.46 1535,-85.99 1355,-85.99"/>
+<text text-anchor="middle" x="1445" y="-523.16" font-family="Arial" font-size="14.00">Tuple</text>
+<text text-anchor="middle" x="1445" y="-507.41" font-family="Arial" font-size="14.00">collection of types</text>
 </g>
 <!-- TOP -->
 <g id="node1" class="node">
 <title>TOP</title>
-<ellipse fill="black" stroke="black" cx="875" cy="-507.45" rx="27" ry="18"/>
-<text text-anchor="middle" x="875" y="-503.35" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤</text>
+<ellipse fill="black" stroke="black" cx="875" cy="-577.45" rx="27" ry="18"/>
+<text text-anchor="middle" x="875" y="-573.35" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤</text>
 </g>
 <!-- XCTRL -->
 <g id="node3" class="node">
 <title>XCTRL</title>
-<ellipse fill="#ffff00" stroke="black" cx="53" cy="-404.96" rx="36.51" ry="18"/>
-<text text-anchor="middle" x="53" y="-400.86" font-family="DejaVu Sans" font-size="13.00">⊤:ctrl</text>
+<ellipse fill="#ffff00" stroke="black" cx="53" cy="-474.96" rx="36.51" ry="18"/>
+<text text-anchor="middle" x="53" y="-470.86" font-family="DejaVu Sans" font-size="13.00">⊤:ctrl</text>
 </g>
 <!-- TOP&#45;&gt;XCTRL -->
 <g id="edge53" class="edge">
 <title>TOP&#45;&gt;XCTRL</title>
-<path fill="none" stroke="#555555" d="M847.89,-506.27C714.74,-505.32 135.11,-500.13 102,-481.45 82.18,-470.26 69.05,-447.37 61.41,-429.71"/>
-<polygon fill="#555555" stroke="#555555" points="63.45,-429.15 59.24,-424.39 59.57,-430.74 63.45,-429.15"/>
+<path fill="none" stroke="#555555" d="M847.89,-576.27C714.74,-575.32 135.11,-570.13 102,-551.45 82.18,-540.26 69.05,-517.37 61.41,-499.71"/>
+<polygon fill="#555555" stroke="#555555" points="63.45,-499.15 59.24,-494.39 59.57,-500.74 63.45,-499.15"/>
 </g>
 <!-- INT_TOP -->
 <g id="node5" class="node">
 <title>INT_TOP</title>
-<ellipse fill="#add8e6" stroke="black" cx="353" cy="-404.96" rx="33.44" ry="18"/>
-<text text-anchor="middle" x="353" y="-400.86" font-family="DejaVu Sans" font-size="13.00">⊤:int</text>
+<ellipse fill="#add8e6" stroke="black" cx="353" cy="-474.96" rx="33.44" ry="18"/>
+<text text-anchor="middle" x="353" y="-470.86" font-family="DejaVu Sans" font-size="13.00">⊤:int</text>
 </g>
 <!-- TOP&#45;&gt;INT_TOP -->
 <g id="edge54" class="edge">
 <title>TOP&#45;&gt;INT_TOP</title>
-<path fill="none" stroke="#555555" d="M847.84,-506.34C753.92,-505.8 446.62,-502.41 408,-481.45 387.24,-470.18 372.3,-447.29 363.27,-429.66"/>
-<polygon fill="#555555" stroke="#555555" points="365.18,-428.78 360.66,-424.31 361.41,-430.63 365.18,-428.78"/>
+<path fill="none" stroke="#555555" d="M847.84,-576.34C753.92,-575.8 446.62,-572.41 408,-551.45 387.24,-540.18 372.3,-517.29 363.27,-499.66"/>
+<polygon fill="#555555" stroke="#555555" points="365.18,-498.78 360.66,-494.31 361.41,-500.63 365.18,-498.78"/>
 </g>
 <!-- PTR_TOP -->
 <g id="node10" class="node">
 <title>PTR_TOP</title>
-<ellipse fill="#008000" stroke="black" cx="715" cy="-404.96" rx="61.7" ry="28.99"/>
-<text text-anchor="middle" x="715" y="-409.11" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:ptr</text>
-<text text-anchor="middle" x="715" y="-392.61" font-family="DejaVu Sans" font-size="13.00" fill="white">[*⊤:struct]</text>
+<ellipse fill="#008000" stroke="black" cx="715" cy="-474.96" rx="61.7" ry="28.99"/>
+<text text-anchor="middle" x="715" y="-479.11" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:ptr</text>
+<text text-anchor="middle" x="715" y="-462.61" font-family="DejaVu Sans" font-size="13.00" fill="white">[*⊤:struct]</text>
 </g>
 <!-- TOP&#45;&gt;PTR_TOP -->
 <g id="edge55" class="edge">
 <title>TOP&#45;&gt;PTR_TOP</title>
-<path fill="none" stroke="#555555" d="M855.7,-494.33C831.54,-479.16 789.48,-452.73 757.62,-432.72"/>
-<polygon fill="#555555" stroke="#555555" points="758.87,-431.03 752.67,-429.62 756.64,-434.59 758.87,-431.03"/>
+<path fill="none" stroke="#555555" d="M855.7,-564.33C831.54,-549.16 789.48,-522.73 757.62,-502.72"/>
+<polygon fill="#555555" stroke="#555555" points="758.87,-501.03 752.67,-499.62 756.64,-504.59 758.87,-501.03"/>
 </g>
 <!-- STRUCT_TOP -->
 <g id="node20" class="node">
 <title>STRUCT_TOP</title>
-<ellipse fill="#90ee90" stroke="black" cx="996" cy="-404.96" rx="64.35" ry="28.99"/>
-<text text-anchor="middle" x="996" y="-409.11" font-family="DejaVu Sans" font-size="13.00">⊤:struct</text>
-<text text-anchor="middle" x="996" y="-392.61" font-family="DejaVu Sans" font-size="13.00">[struct top]</text>
+<ellipse fill="#90ee90" stroke="black" cx="996" cy="-474.96" rx="64.35" ry="28.99"/>
+<text text-anchor="middle" x="996" y="-479.11" font-family="DejaVu Sans" font-size="13.00">⊤:struct</text>
+<text text-anchor="middle" x="996" y="-462.61" font-family="DejaVu Sans" font-size="13.00">[struct top]</text>
 </g>
 <!-- TOP&#45;&gt;STRUCT_TOP -->
 <g id="edge56" class="edge">
 <title>TOP&#45;&gt;STRUCT_TOP</title>
-<path fill="none" stroke="#555555" d="M891.32,-492.9C908.92,-478.28 937.5,-454.55 960.35,-435.57"/>
-<polygon fill="#555555" stroke="#555555" points="961.58,-437.27 964.86,-431.82 958.9,-434.04 961.58,-437.27"/>
+<path fill="none" stroke="#555555" d="M891.32,-562.9C908.92,-548.28 937.5,-524.55 960.35,-505.57"/>
+<polygon fill="#555555" stroke="#555555" points="961.58,-507.27 964.86,-501.82 958.9,-504.04 961.58,-507.27"/>
 </g>
 <!-- MEM_TOP -->
 <g id="node26" class="node">
 <title>MEM_TOP</title>
-<ellipse fill="#00008b" stroke="black" cx="1294" cy="-404.96" rx="44.7" ry="18"/>
-<text text-anchor="middle" x="1294" y="-400.86" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:mem</text>
+<ellipse fill="#00008b" stroke="black" cx="1294" cy="-474.96" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="1294" y="-470.86" font-family="DejaVu Sans" font-size="13.00" fill="white">⊤:mem</text>
 </g>
 <!-- TOP&#45;&gt;MEM_TOP -->
 <g id="edge57" class="edge">
 <title>TOP&#45;&gt;MEM_TOP</title>
-<path fill="none" stroke="#555555" d="M902.2,-505.86C981.35,-503.98 1207.82,-497.26 1237,-481.45 1258.22,-469.95 1273.86,-446.78 1283.33,-429.12"/>
-<polygon fill="#555555" stroke="#555555" points="1284.97,-430.54 1285.85,-424.24 1281.23,-428.61 1284.97,-430.54"/>
+<path fill="none" stroke="#555555" d="M902.2,-575.86C981.35,-573.98 1207.82,-567.26 1237,-551.45 1258.22,-539.95 1273.86,-516.78 1283.33,-499.12"/>
+<polygon fill="#555555" stroke="#555555" points="1284.97,-500.54 1285.85,-494.24 1281.23,-498.61 1284.97,-500.54"/>
 </g>
 <!-- TUPLE_TOP -->
 <g id="node28" class="node">
 <title>TUPLE_TOP</title>
-<ellipse fill="#ffc0cb" stroke="black" cx="1408" cy="-404.96" rx="44.7" ry="18"/>
-<text text-anchor="middle" x="1408" y="-400.86" font-family="DejaVu Sans" font-size="13.00">⊤:tuple</text>
+<ellipse fill="#ffc0cb" stroke="black" cx="1408" cy="-474.96" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="1408" y="-470.86" font-family="DejaVu Sans" font-size="13.00">⊤:tuple</text>
 </g>
 <!-- TOP&#45;&gt;TUPLE_TOP -->
 <g id="edge58" class="edge">
 <title>TOP&#45;&gt;TUPLE_TOP</title>
-<path fill="none" stroke="#555555" d="M902.34,-506.35C997.63,-505.82 1311.4,-502.48 1351,-481.45 1372.31,-470.13 1387.94,-446.93 1397.39,-429.22"/>
-<polygon fill="#555555" stroke="#555555" points="1399.03,-430.62 1399.89,-424.32 1395.29,-428.7 1399.03,-430.62"/>
+<path fill="none" stroke="#555555" d="M902.34,-576.35C997.63,-575.82 1311.4,-572.48 1351,-551.45 1372.31,-540.13 1387.94,-516.93 1397.39,-499.22"/>
+<polygon fill="#555555" stroke="#555555" points="1399.03,-500.62 1399.89,-494.32 1395.29,-498.7 1399.03,-500.62"/>
 </g>
 <!-- BOT -->
 <g id="node2" class="node">
@@ -136,7 +136,7 @@
 <!-- XCTRL&#45;&gt;CTRL -->
 <g id="edge1" class="edge">
 <title>XCTRL&#45;&gt;CTRL</title>
-<path fill="none" stroke="#555555" d="M53,-386.63C53,-337.1 53,-194.83 53,-137.43"/>
+<path fill="none" stroke="#555555" d="M53,-456.55C53,-397.7 53,-206.04 53,-137.58"/>
 <polygon fill="#555555" stroke="#555555" points="55.1,-137.74 53,-131.74 50.9,-137.74 55.1,-137.74"/>
 </g>
 <!-- XCTRL&#45;&gt;INT_TOP -->
@@ -155,8 +155,8 @@
 <!-- INT_TOP&#45;&gt;INT_NEG -->
 <g id="edge4" class="edge">
 <title>INT_TOP&#45;&gt;INT_NEG</title>
-<path fill="none" stroke="#555555" d="M337.94,-388.74C305.38,-355.83 228.33,-277.94 190.59,-239.8"/>
-<polygon fill="#555555" stroke="#555555" points="192.09,-238.33 186.38,-235.54 189.11,-241.28 192.09,-238.33"/>
+<path fill="none" stroke="#555555" d="M338.42,-458.38C324.81,-443.56 304.22,-420.4 288,-398.97 246.77,-344.48 204.12,-276.17 182.84,-241.1"/>
+<polygon fill="#555555" stroke="#555555" points="184.8,-240.29 179.9,-236.24 181.21,-242.46 184.8,-240.29"/>
 </g>
 <!-- INT_ZERO -->
 <g id="node8" class="node">
@@ -167,8 +167,8 @@
 <!-- INT_TOP&#45;&gt;INT_ZERO -->
 <g id="edge5" class="edge">
 <title>INT_TOP&#45;&gt;INT_ZERO</title>
-<path fill="none" stroke="#555555" d="M345.22,-387.12C329.8,-353.79 295.37,-279.32 277.78,-241.29"/>
-<polygon fill="#555555" stroke="#555555" points="279.76,-240.57 275.34,-236.01 275.95,-242.34 279.76,-240.57"/>
+<path fill="none" stroke="#555555" d="M347.22,-456.76C332.26,-412.21 292.18,-292.93 275,-241.79"/>
+<polygon fill="#555555" stroke="#555555" points="277.02,-241.21 273.12,-236.19 273.04,-242.55 277.02,-241.21"/>
 </g>
 <!-- INT_POS -->
 <g id="node9" class="node">
@@ -179,8 +179,8 @@
 <!-- INT_TOP&#45;&gt;INT_POS -->
 <g id="edge6" class="edge">
 <title>INT_TOP&#45;&gt;INT_POS</title>
-<path fill="none" stroke="#555555" d="M353,-386.46C353,-353.14 353,-280.53 353,-242.43"/>
-<polygon fill="#555555" stroke="#555555" points="355.1,-242.8 353,-236.8 350.9,-242.8 355.1,-242.8"/>
+<path fill="none" stroke="#555555" d="M353,-456.76C353,-412.51 353,-294.56 353,-242.85"/>
+<polygon fill="#555555" stroke="#555555" points="355.1,-242.94 353,-236.94 350.9,-242.94 355.1,-242.94"/>
 </g>
 <!-- INT_TOP&#45;&gt;PTR_TOP -->
 <!-- INT_BOT -->
@@ -218,50 +218,50 @@
 <!-- PTR_NULL -->
 <g id="node12" class="node">
 <title>PTR_NULL</title>
-<ellipse fill="#008000" stroke="black" cx="799" cy="-310.97" rx="27.3" ry="18"/>
-<text text-anchor="middle" x="799" y="-306.87" font-family="DejaVu Sans" font-size="13.00" fill="white">null</text>
+<ellipse fill="#008000" stroke="black" cx="799" cy="-345.97" rx="27.3" ry="18"/>
+<text text-anchor="middle" x="799" y="-341.87" font-family="DejaVu Sans" font-size="13.00" fill="white">null</text>
 </g>
 <!-- PTR_TOP&#45;&gt;PTR_NULL -->
 <g id="edge16" class="edge">
 <title>PTR_TOP&#45;&gt;PTR_NULL</title>
-<path fill="none" stroke="#555555" d="M738.85,-377.84C752,-363.43 768.1,-345.8 780.33,-332.41"/>
-<polygon fill="#555555" stroke="#555555" points="781.8,-333.91 784.3,-328.06 778.7,-331.08 781.8,-333.91"/>
+<path fill="none" stroke="#555555" d="M732.81,-447.03C748.16,-423.83 770.03,-390.77 784.37,-369.09"/>
+<polygon fill="#555555" stroke="#555555" points="785.98,-370.45 787.54,-364.29 782.48,-368.13 785.98,-370.45"/>
 </g>
 <!-- PTR_PERSON -->
 <g id="node14" class="node">
 <title>PTR_PERSON</title>
-<ellipse fill="#008000" stroke="black" cx="542" cy="-310.97" rx="45.72" ry="18"/>
-<text text-anchor="middle" x="542" y="-306.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*Person</text>
+<ellipse fill="#008000" stroke="black" cx="542" cy="-345.97" rx="45.72" ry="18"/>
+<text text-anchor="middle" x="542" y="-341.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*Person</text>
 </g>
 <!-- PTR_TOP&#45;&gt;PTR_PERSON -->
 <g id="edge17" class="edge">
 <title>PTR_TOP&#45;&gt;PTR_PERSON</title>
-<path fill="none" stroke="#555555" d="M674.88,-382.62C644.57,-366.5 603.47,-344.65 575.04,-329.54"/>
-<polygon fill="#555555" stroke="#555555" points="576.08,-327.71 569.8,-326.75 574.11,-331.42 576.08,-327.71"/>
+<path fill="none" stroke="#555555" d="M675.88,-452.05C651.99,-438.01 621.28,-418.77 596,-398.97 584.24,-389.76 572.18,-378.36 562.44,-368.58"/>
+<polygon fill="#555555" stroke="#555555" points="564.05,-367.22 558.35,-364.42 561.06,-370.17 564.05,-367.22"/>
 </g>
 <!-- PTR_S1 -->
 <g id="node15" class="node">
 <title>PTR_S1</title>
-<ellipse fill="#008000" stroke="black" cx="631" cy="-310.97" rx="27" ry="18"/>
-<text text-anchor="middle" x="631" y="-306.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*s1</text>
+<ellipse fill="#008000" stroke="black" cx="631" cy="-345.97" rx="27" ry="18"/>
+<text text-anchor="middle" x="631" y="-341.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*s1</text>
 </g>
 <!-- PTR_TOP&#45;&gt;PTR_S1 -->
 <g id="edge18" class="edge">
 <title>PTR_TOP&#45;&gt;PTR_S1</title>
-<path fill="none" stroke="#555555" d="M691.15,-377.84C678,-363.43 661.9,-345.8 649.67,-332.41"/>
-<polygon fill="#555555" stroke="#555555" points="651.3,-331.08 645.7,-328.06 648.2,-333.91 651.3,-331.08"/>
+<path fill="none" stroke="#555555" d="M697.19,-447.03C681.84,-423.83 659.97,-390.77 645.63,-369.09"/>
+<polygon fill="#555555" stroke="#555555" points="647.52,-368.13 642.46,-364.29 644.02,-370.45 647.52,-368.13"/>
 </g>
 <!-- PTR_MORE -->
 <g id="node16" class="node">
 <title>PTR_MORE</title>
-<ellipse fill="#008000" stroke="black" cx="715" cy="-310.97" rx="40.6" ry="18"/>
-<text text-anchor="middle" x="715" y="-306.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*s2, …</text>
+<ellipse fill="#008000" stroke="black" cx="715" cy="-345.97" rx="40.6" ry="18"/>
+<text text-anchor="middle" x="715" y="-341.87" font-family="DejaVu Sans" font-size="13.00" fill="white">*s2, …</text>
 </g>
 <!-- PTR_TOP&#45;&gt;PTR_MORE -->
 <g id="edge19" class="edge">
 <title>PTR_TOP&#45;&gt;PTR_MORE</title>
-<path fill="none" stroke="#555555" d="M715,-375.61C715,-363.22 715,-348.82 715,-336.86"/>
-<polygon fill="#555555" stroke="#555555" points="717.1,-336.91 715,-330.91 712.9,-336.91 717.1,-336.91"/>
+<path fill="none" stroke="#555555" d="M715,-445.77C715,-423.52 715,-392.77 715,-371.51"/>
+<polygon fill="#555555" stroke="#555555" points="717.1,-371.66 715,-365.66 712.9,-371.66 717.1,-371.66"/>
 </g>
 <!-- PTR_TOP&#45;&gt;STRUCT_TOP -->
 <!-- PTR_BOT -->
@@ -286,8 +286,8 @@
 <!-- PTR_NULL&#45;&gt;PTR_PERSON_NIL -->
 <g id="edge26" class="edge">
 <title>PTR_NULL&#45;&gt;PTR_PERSON_NIL</title>
-<path fill="none" stroke="#555555" d="M779.65,-297.94C754.63,-282.39 710.79,-255.14 681.32,-236.82"/>
-<polygon fill="#555555" stroke="#555555" points="682.76,-235.24 676.55,-233.86 680.54,-238.81 682.76,-235.24"/>
+<path fill="none" stroke="#555555" d="M790.34,-328.75C783.99,-317.83 774.65,-303.55 764,-292.97 740.64,-269.76 709.08,-249.53 685.25,-235.95"/>
+<polygon fill="#555555" stroke="#555555" points="686.33,-234.14 680.07,-233.04 684.27,-237.8 686.33,-234.14"/>
 </g>
 <!-- PTR_S1_NIL -->
 <g id="node18" class="node">
@@ -298,8 +298,8 @@
 <!-- PTR_NULL&#45;&gt;PTR_S1_NIL -->
 <g id="edge27" class="edge">
 <title>PTR_NULL&#45;&gt;PTR_S1_NIL</title>
-<path fill="none" stroke="#555555" d="M789.88,-293.52C781.74,-278.83 769.73,-257.16 760.65,-240.8"/>
-<polygon fill="#555555" stroke="#555555" points="762.69,-240.14 757.94,-235.91 759.02,-242.18 762.69,-240.14"/>
+<path fill="none" stroke="#555555" d="M792.23,-328.1C783.31,-305.9 767.59,-266.75 757.49,-241.6"/>
+<polygon fill="#555555" stroke="#555555" points="759.55,-241.1 755.36,-236.31 755.65,-242.66 759.55,-241.1"/>
 </g>
 <!-- PTR_MORE_NIL -->
 <g id="node19" class="node">
@@ -310,8 +310,8 @@
 <!-- PTR_NULL&#45;&gt;PTR_MORE_NIL -->
 <g id="edge28" class="edge">
 <title>PTR_NULL&#45;&gt;PTR_MORE_NIL</title>
-<path fill="none" stroke="#555555" d="M806.33,-293.52C812.78,-279.05 822.24,-257.81 829.5,-241.54"/>
-<polygon fill="#555555" stroke="#555555" points="831.32,-242.62 831.84,-236.28 827.48,-240.91 831.32,-242.62"/>
+<path fill="none" stroke="#555555" d="M804.53,-327.84C811.65,-305.78 824.07,-267.3 832.17,-242.24"/>
+<polygon fill="#555555" stroke="#555555" points="834.12,-243.03 833.96,-236.68 830.12,-241.74 834.12,-243.03"/>
 </g>
 <!-- PTR_ANY -->
 <g id="node13" class="node">
@@ -330,41 +330,41 @@
 <!-- PTR_PERSON&#45;&gt;PTR_ANY -->
 <g id="edge20" class="edge">
 <title>PTR_PERSON&#45;&gt;PTR_ANY</title>
-<path fill="none" stroke="#555555" d="M534.66,-293.09C529.74,-281.77 523.08,-266.45 517.05,-252.6"/>
-<polygon fill="#555555" stroke="#555555" points="519.08,-251.99 514.76,-247.33 515.23,-253.67 519.08,-251.99"/>
+<path fill="none" stroke="#555555" d="M536.61,-327.84C530.59,-308.74 520.69,-277.32 513.02,-252.97"/>
+<polygon fill="#555555" stroke="#555555" points="515.08,-252.52 511.28,-247.43 511.08,-253.78 515.08,-252.52"/>
 </g>
 <!-- PTR_PERSON&#45;&gt;PTR_S1 -->
 <!-- PTR_PERSON&#45;&gt;PTR_PERSON_NIL -->
 <g id="edge23" class="edge">
 <title>PTR_PERSON&#45;&gt;PTR_PERSON_NIL</title>
-<path fill="none" stroke="#555555" d="M560.49,-294.36C578.62,-279.06 606.38,-255.63 626.38,-238.76"/>
-<polygon fill="#555555" stroke="#555555" points="627.67,-240.42 630.9,-234.94 624.96,-237.21 627.67,-240.42"/>
+<path fill="none" stroke="#555555" d="M556.03,-328.62C575.38,-306.08 610.32,-265.36 632,-240.11"/>
+<polygon fill="#555555" stroke="#555555" points="633.38,-241.73 635.7,-235.81 630.19,-238.99 633.38,-241.73"/>
 </g>
 <!-- PTR_S1&#45;&gt;PTR_ANY -->
 <g id="edge21" class="edge">
 <title>PTR_S1&#45;&gt;PTR_ANY</title>
-<path fill="none" stroke="#555555" d="M613.06,-297.17C595.19,-284.43 567.11,-264.41 543.66,-247.68"/>
-<polygon fill="#555555" stroke="#555555" points="545.14,-246.16 539.04,-244.39 542.7,-249.58 545.14,-246.16"/>
+<path fill="none" stroke="#555555" d="M621.75,-328.57C615.28,-317.84 606.03,-303.85 596,-292.97 580.61,-276.28 561.35,-260.24 544.26,-247.31"/>
+<polygon fill="#555555" stroke="#555555" points="545.84,-245.87 539.78,-243.96 543.32,-249.23 545.84,-245.87"/>
 </g>
 <!-- PTR_S1&#45;&gt;PTR_MORE -->
 <!-- PTR_S1&#45;&gt;PTR_S1_NIL -->
 <g id="edge24" class="edge">
 <title>PTR_S1&#45;&gt;PTR_S1_NIL</title>
-<path fill="none" stroke="#555555" d="M648.01,-296.59C668.14,-280.76 701.78,-254.32 724.41,-236.52"/>
-<polygon fill="#555555" stroke="#555555" points="725.59,-238.26 729.01,-232.91 722.99,-234.96 725.59,-238.26"/>
+<path fill="none" stroke="#555555" d="M640.49,-328.79C647.07,-318.15 656.34,-304.18 666,-292.97 684.1,-271.96 707.73,-250.9 724.97,-236.47"/>
+<polygon fill="#555555" stroke="#555555" points="726.11,-238.25 729.39,-232.8 723.43,-235.02 726.11,-238.25"/>
 </g>
 <!-- PTR_MORE&#45;&gt;PTR_NULL -->
 <!-- PTR_MORE&#45;&gt;PTR_ANY -->
 <g id="edge22" class="edge">
 <title>PTR_MORE&#45;&gt;PTR_ANY</title>
-<path fill="none" stroke="#555555" d="M686.72,-297.75C654.45,-283.81 600.84,-260.66 559.66,-242.88"/>
-<polygon fill="#555555" stroke="#555555" points="560.63,-241.01 554.29,-240.56 558.97,-244.86 560.63,-241.01"/>
+<path fill="none" stroke="#555555" d="M702.63,-328.84C693.45,-317.69 680.11,-303.08 666,-292.97 635.59,-271.17 597.84,-253.38 566.22,-240.61"/>
+<polygon fill="#555555" stroke="#555555" points="567.33,-238.79 560.98,-238.52 565.78,-242.69 567.33,-238.79"/>
 </g>
 <!-- PTR_MORE&#45;&gt;PTR_MORE_NIL -->
 <g id="edge25" class="edge">
 <title>PTR_MORE&#45;&gt;PTR_MORE_NIL</title>
-<path fill="none" stroke="#555555" d="M735.36,-294.98C756.57,-279.37 789.9,-254.84 813.23,-237.67"/>
-<polygon fill="#555555" stroke="#555555" points="814.42,-239.4 818.01,-234.16 811.93,-236.02 814.42,-239.4"/>
+<path fill="none" stroke="#555555" d="M729.86,-328.89C739.5,-318.54 752.38,-304.85 764,-292.97 782,-274.55 802.85,-254.03 818.15,-239.12"/>
+<polygon fill="#555555" stroke="#555555" points="819.6,-240.64 822.44,-234.95 816.67,-237.63 819.6,-240.64"/>
 </g>
 <!-- PTR_PERSON_NIL&#45;&gt;PTR_BOT -->
 <g id="edge30" class="edge">
@@ -396,8 +396,8 @@
 <!-- STRUCT_TOP&#45;&gt;STRUCT_PERSON -->
 <g id="edge36" class="edge">
 <title>STRUCT_TOP&#45;&gt;STRUCT_PERSON</title>
-<path fill="none" stroke="#555555" d="M987.95,-375.71C977.84,-340.23 960.61,-279.78 950.68,-244.92"/>
-<polygon fill="#555555" stroke="#555555" points="952.75,-244.54 949.09,-239.35 948.72,-245.69 952.75,-244.54"/>
+<path fill="none" stroke="#555555" d="M990.23,-446.07C979.97,-396.53 958.69,-293.77 948.58,-244.91"/>
+<polygon fill="#555555" stroke="#555555" points="950.69,-244.75 947.42,-239.3 946.58,-245.61 950.69,-244.75"/>
 </g>
 <!-- STRUCT_S1 -->
 <g id="node23" class="node">
@@ -409,8 +409,8 @@
 <!-- STRUCT_TOP&#45;&gt;STRUCT_S1 -->
 <g id="edge37" class="edge">
 <title>STRUCT_TOP&#45;&gt;STRUCT_S1</title>
-<path fill="none" stroke="#555555" d="M999.65,-375.71C1004.22,-340.23 1012.02,-279.78 1016.52,-244.92"/>
-<polygon fill="#555555" stroke="#555555" points="1018.55,-245.61 1017.24,-239.39 1014.39,-245.07 1018.55,-245.61"/>
+<path fill="none" stroke="#555555" d="M998.66,-445.58C1003.32,-395.91 1012.89,-293.85 1017.46,-245.08"/>
+<polygon fill="#555555" stroke="#555555" points="1019.54,-245.41 1018.01,-239.24 1015.36,-245.02 1019.54,-245.41"/>
 </g>
 <!-- STRUCT_S2 -->
 <g id="node24" class="node">
@@ -422,8 +422,8 @@
 <!-- STRUCT_TOP&#45;&gt;STRUCT_S2 -->
 <g id="edge38" class="edge">
 <title>STRUCT_TOP&#45;&gt;STRUCT_S2</title>
-<path fill="none" stroke="#555555" d="M1012.67,-376.51C1034.35,-340.84 1071.93,-278.99 1093.18,-244.02"/>
-<polygon fill="#555555" stroke="#555555" points="1094.84,-245.33 1096.16,-239.11 1091.25,-243.14 1094.84,-245.33"/>
+<path fill="none" stroke="#555555" d="M1008.31,-446.07C1030.23,-396.43 1075.73,-293.34 1097.24,-244.61"/>
+<polygon fill="#555555" stroke="#555555" points="1099.12,-245.54 1099.63,-239.21 1095.28,-243.85 1099.12,-245.54"/>
 </g>
 <!-- STRUCT_MORE -->
 <g id="node25" class="node">
@@ -434,8 +434,8 @@
 <!-- STRUCT_TOP&#45;&gt;STRUCT_MORE -->
 <g id="edge39" class="edge">
 <title>STRUCT_TOP&#45;&gt;STRUCT_MORE</title>
-<path fill="none" stroke="#555555" d="M1023.66,-378.49C1063.42,-341.89 1136.06,-275.01 1173.79,-240.26"/>
-<polygon fill="#555555" stroke="#555555" points="1174.99,-242.01 1177.99,-236.4 1172.15,-238.92 1174.99,-242.01"/>
+<path fill="none" stroke="#555555" d="M1018.31,-447.4C1030.2,-433.14 1045.02,-415.19 1058,-398.97 1102.92,-342.8 1154.32,-275.57 1180.57,-241"/>
+<polygon fill="#555555" stroke="#555555" points="1182,-242.59 1183.95,-236.54 1178.65,-240.05 1182,-242.59"/>
 </g>
 <!-- STRUCT_TOP&#45;&gt;MEM_TOP -->
 <!-- STRUCT_BOT -->
@@ -487,7 +487,7 @@
 <!-- MEM_TOP&#45;&gt;MEM_BOT -->
 <g id="edge44" class="edge">
 <title>MEM_TOP&#45;&gt;MEM_BOT</title>
-<path fill="none" stroke="#555555" d="M1294,-386.63C1294,-337.1 1294,-194.83 1294,-137.43"/>
+<path fill="none" stroke="#555555" d="M1294,-456.55C1294,-397.7 1294,-206.04 1294,-137.58"/>
 <polygon fill="#555555" stroke="#555555" points="1296.1,-137.74 1294,-131.74 1291.9,-137.74 1296.1,-137.74"/>
 </g>
 <!-- MEM_TOP&#45;&gt;TUPLE_TOP -->
@@ -500,70 +500,94 @@
 <!-- TUPLE1 -->
 <g id="node30" class="node">
 <title>TUPLE1</title>
-<polygon fill="#ffc0cb" stroke="black" points="1418.88,-328.97 1363.12,-328.97 1363.12,-292.97 1418.88,-292.97 1418.88,-328.97"/>
-<text text-anchor="middle" x="1391" y="-306.87" font-family="DejaVu Sans" font-size="13.00">(type)</text>
+<polygon fill="#ffc0cb" stroke="none" points="1406.88,-372.47 1363.12,-372.47 1363.12,-319.47 1406.88,-319.47 1406.88,-372.47"/>
+<polygon fill="#ffc0cb" stroke="none" points="1363.12,-345.97 1363.12,-372.47 1406.88,-372.47 1406.88,-345.97 1363.12,-345.97"/>
+<polygon fill="none" stroke="black" points="1363.12,-345.97 1363.12,-372.47 1406.88,-372.47 1406.88,-345.97 1363.12,-345.97"/>
+<text text-anchor="start" x="1368.12" y="-355.12" font-family="DejaVu Sans" font-size="13.00">tuple</text>
+<polygon fill="black" stroke="none" points="1363.12,-319.47 1363.12,-345.97 1406.88,-345.97 1406.88,-319.47 1363.12,-319.47"/>
+<polygon fill="none" stroke="black" points="1363.12,-319.47 1363.12,-345.97 1406.88,-345.97 1406.88,-319.47 1363.12,-319.47"/>
+<text text-anchor="start" x="1370.38" y="-328.62" font-family="DejaVu Sans" font-size="13.00" fill="white">type</text>
 </g>
 <!-- TUPLE_TOP&#45;&gt;TUPLE1 -->
 <g id="edge47" class="edge">
 <title>TUPLE_TOP&#45;&gt;TUPLE1</title>
-<path fill="none" stroke="#555555" d="M1404.8,-386.65C1402.19,-372.52 1398.47,-352.37 1395.54,-336.56"/>
-<polygon fill="#555555" stroke="#555555" points="1397.61,-336.2 1394.46,-330.68 1393.48,-336.96 1397.61,-336.2"/>
+<path fill="none" stroke="#555555" d="M1404.85,-456.57C1401.26,-436.74 1395.31,-403.91 1390.86,-379.34"/>
+<polygon fill="#555555" stroke="#555555" points="1392.94,-379.03 1389.81,-373.5 1388.81,-379.77 1392.94,-379.03"/>
 </g>
 <!-- TUPLE2 -->
 <g id="node31" class="node">
 <title>TUPLE2</title>
-<polygon fill="#ffc0cb" stroke="black" points="1529,-328.97 1435,-328.97 1435,-292.97 1529,-292.97 1529,-328.97"/>
-<text text-anchor="middle" x="1482" y="-306.87" font-family="DejaVu Sans" font-size="13.00">(type, type)</text>
+<polygon fill="#ffc0cb" stroke="none" points="1466.88,-385.72 1423.12,-385.72 1423.12,-306.22 1466.88,-306.22 1466.88,-385.72"/>
+<polygon fill="#ffc0cb" stroke="none" points="1423.12,-359.22 1423.12,-385.72 1466.88,-385.72 1466.88,-359.22 1423.12,-359.22"/>
+<polygon fill="none" stroke="black" points="1423.12,-359.22 1423.12,-385.72 1466.88,-385.72 1466.88,-359.22 1423.12,-359.22"/>
+<text text-anchor="start" x="1428.12" y="-368.37" font-family="DejaVu Sans" font-size="13.00">tuple</text>
+<polygon fill="black" stroke="none" points="1423.12,-332.72 1423.12,-359.22 1466.88,-359.22 1466.88,-332.72 1423.12,-332.72"/>
+<polygon fill="none" stroke="black" points="1423.12,-332.72 1423.12,-359.22 1466.88,-359.22 1466.88,-332.72 1423.12,-332.72"/>
+<text text-anchor="start" x="1430.38" y="-341.87" font-family="DejaVu Sans" font-size="13.00" fill="white">type</text>
+<polygon fill="black" stroke="none" points="1423.12,-306.22 1423.12,-332.72 1466.88,-332.72 1466.88,-306.22 1423.12,-306.22"/>
+<polygon fill="none" stroke="black" points="1423.12,-306.22 1423.12,-332.72 1466.88,-332.72 1466.88,-306.22 1423.12,-306.22"/>
+<text text-anchor="start" x="1430.38" y="-315.37" font-family="DejaVu Sans" font-size="13.00" fill="white">type</text>
 </g>
 <!-- TUPLE_TOP&#45;&gt;TUPLE2 -->
 <g id="edge48" class="edge">
 <title>TUPLE_TOP&#45;&gt;TUPLE2</title>
-<path fill="none" stroke="#555555" d="M1421.23,-387.51C1433,-372.87 1450.35,-351.31 1463.5,-334.97"/>
-<polygon fill="#555555" stroke="#555555" points="1465.06,-336.38 1467.18,-330.39 1461.79,-333.74 1465.06,-336.38"/>
+<path fill="none" stroke="#555555" d="M1412.99,-456.83C1417.76,-440.46 1425.17,-415.04 1431.65,-392.78"/>
+<polygon fill="#555555" stroke="#555555" points="1433.64,-393.48 1433.3,-387.13 1429.6,-392.3 1433.64,-393.48"/>
 </g>
 <!-- TUPLEN -->
 <g id="node32" class="node">
 <title>TUPLEN</title>
-<polygon fill="#ffc0cb" stroke="black" points="1622.75,-328.97 1545.25,-328.97 1545.25,-292.97 1622.75,-292.97 1622.75,-328.97"/>
-<text text-anchor="middle" x="1584" y="-306.87" font-family="DejaVu Sans" font-size="13.00">(type, …)</text>
+<polygon fill="#ffc0cb" stroke="none" points="1526.88,-398.97 1483.12,-398.97 1483.12,-292.97 1526.88,-292.97 1526.88,-398.97"/>
+<polygon fill="#ffc0cb" stroke="none" points="1483.12,-372.47 1483.12,-398.97 1526.88,-398.97 1526.88,-372.47 1483.12,-372.47"/>
+<polygon fill="none" stroke="black" points="1483.12,-372.47 1483.12,-398.97 1526.88,-398.97 1526.88,-372.47 1483.12,-372.47"/>
+<text text-anchor="start" x="1488.12" y="-381.62" font-family="DejaVu Sans" font-size="13.00">tuple</text>
+<polygon fill="black" stroke="none" points="1483.12,-345.97 1483.12,-372.47 1526.88,-372.47 1526.88,-345.97 1483.12,-345.97"/>
+<polygon fill="none" stroke="black" points="1483.12,-345.97 1483.12,-372.47 1526.88,-372.47 1526.88,-345.97 1483.12,-345.97"/>
+<text text-anchor="start" x="1490.38" y="-355.12" font-family="DejaVu Sans" font-size="13.00" fill="white">type</text>
+<polygon fill="black" stroke="none" points="1483.12,-319.47 1483.12,-345.97 1526.88,-345.97 1526.88,-319.47 1483.12,-319.47"/>
+<polygon fill="none" stroke="black" points="1483.12,-319.47 1483.12,-345.97 1526.88,-345.97 1526.88,-319.47 1483.12,-319.47"/>
+<text text-anchor="start" x="1498.62" y="-328.62" font-family="DejaVu Sans" font-size="13.00" fill="white">…</text>
+<polygon fill="black" stroke="none" points="1483.12,-292.97 1483.12,-319.47 1526.88,-319.47 1526.88,-292.97 1483.12,-292.97"/>
+<polygon fill="none" stroke="black" points="1483.12,-292.97 1483.12,-319.47 1526.88,-319.47 1526.88,-292.97 1483.12,-292.97"/>
+<text text-anchor="start" x="1490.38" y="-302.12" font-family="DejaVu Sans" font-size="13.00" fill="white">type</text>
 </g>
 <!-- TUPLE_TOP&#45;&gt;TUPLEN -->
 <g id="edge49" class="edge">
 <title>TUPLE_TOP&#45;&gt;TUPLEN</title>
-<path fill="none" stroke="#555555" d="M1434.35,-390.18C1463.39,-375.01 1510.42,-350.42 1544.01,-332.87"/>
-<polygon fill="#555555" stroke="#555555" points="1544.85,-334.8 1549.2,-330.16 1542.91,-331.07 1544.85,-334.8"/>
+<path fill="none" stroke="#555555" d="M1424.21,-457.82C1438.47,-443.17 1459.34,-420.61 1475,-398.97 1476.4,-397.02 1477.8,-395.01 1479.17,-392.95"/>
+<polygon fill="#555555" stroke="#555555" points="1480.91,-394.14 1482.41,-387.96 1477.38,-391.86 1480.91,-394.14"/>
 </g>
 <!-- TUPLE_BOT -->
 <g id="node29" class="node">
 <title>TUPLE_BOT</title>
-<ellipse fill="#ffc0cb" stroke="black" cx="1445" cy="-111.99" rx="44.7" ry="18"/>
-<text text-anchor="middle" x="1445" y="-107.89" font-family="DejaVu Sans" font-size="13.00">⊥:tuple</text>
+<ellipse fill="#ffc0cb" stroke="black" cx="1426" cy="-111.99" rx="44.7" ry="18"/>
+<text text-anchor="middle" x="1426" y="-107.89" font-family="DejaVu Sans" font-size="13.00">⊥:tuple</text>
 </g>
 <!-- TUPLE_BOT&#45;&gt;BOT -->
 <g id="edge64" class="edge">
 <title>TUPLE_BOT&#45;&gt;BOT</title>
-<path fill="none" stroke="#555555" d="M1416.38,-97.91C1398.05,-90.08 1373.56,-80.58 1351,-75 1192.43,-35.77 996.51,-23.66 918.45,-20.23"/>
-<polygon fill="#555555" stroke="#555555" points="918.86,-18.15 912.78,-19.99 918.69,-22.35 918.86,-18.15"/>
+<path fill="none" stroke="#555555" d="M1401.48,-96.69C1387.21,-89.03 1368.61,-80.13 1351,-75 1193.97,-29.27 996.8,-20.82 918.41,-19.3"/>
+<polygon fill="#555555" stroke="#555555" points="918.75,-17.21 912.72,-19.21 918.68,-21.41 918.75,-17.21"/>
 </g>
 <!-- TUPLE1&#45;&gt;TUPLE_BOT -->
 <g id="edge50" class="edge">
 <title>TUPLE1&#45;&gt;TUPLE_BOT</title>
-<path fill="none" stroke="#555555" d="M1395.79,-292.49C1405.46,-257.21 1427.33,-177.44 1438.37,-137.19"/>
-<polygon fill="#555555" stroke="#555555" points="1440.33,-137.95 1439.9,-131.61 1436.28,-136.84 1440.33,-137.95"/>
+<path fill="none" stroke="#555555" d="M1389.47,-319.7C1397.39,-274.85 1413.82,-181.9 1421.66,-137.56"/>
+<polygon fill="#555555" stroke="#555555" points="1423.69,-138.14 1422.66,-131.86 1419.55,-137.4 1423.69,-138.14"/>
 </g>
 <!-- TUPLE1&#45;&gt;TUPLE2 -->
 <!-- TUPLE2&#45;&gt;TUPLE_BOT -->
 <g id="edge51" class="edge">
 <title>TUPLE2&#45;&gt;TUPLE_BOT</title>
-<path fill="none" stroke="#555555" d="M1478.72,-292.49C1472.12,-257.37 1457.24,-178.17 1449.65,-137.74"/>
-<polygon fill="#555555" stroke="#555555" points="1451.73,-137.43 1448.56,-131.92 1447.6,-138.2 1451.73,-137.43"/>
+<path fill="none" stroke="#555555" d="M1441.84,-306.4C1437.91,-258.37 1431.3,-177.75 1428,-137.46"/>
+<polygon fill="#555555" stroke="#555555" points="1430.13,-137.74 1427.55,-131.93 1425.95,-138.08 1430.13,-137.74"/>
 </g>
 <!-- TUPLE2&#45;&gt;TUPLEN -->
 <!-- TUPLEN&#45;&gt;TUPLE_BOT -->
 <g id="edge52" class="edge">
 <title>TUPLEN&#45;&gt;TUPLE_BOT</title>
-<path fill="none" stroke="#555555" d="M1571.66,-292.49C1546.44,-256.74 1488.97,-175.3 1460.95,-135.59"/>
-<polygon fill="#555555" stroke="#555555" points="1462.76,-134.52 1457.59,-130.83 1459.33,-136.94 1462.76,-134.52"/>
+<path fill="none" stroke="#555555" d="M1487.37,-293.19C1470.79,-244.5 1446.69,-173.75 1434.2,-137.07"/>
+<polygon fill="#555555" stroke="#555555" points="1436.27,-136.64 1432.35,-131.63 1432.3,-137.99 1436.27,-136.64"/>
 </g>
 </g>
 </svg>
-- 
cgit v1.2.3