3
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
4
<!-- Generated by graphviz version 6.0.1 (20220924.0800)
5
-->
6
-<!-- Title: InferMutability Pages: 1 -->
7
-<svg width="9655pt" height="833pt"
8
- viewBox="0.00 0.00 9655.44 833.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
9
-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 829)">
10
-<title>InferMutability</title>
11
-<polygon fill="white" stroke="none" points="-4,4 -4,-829 9651.44,-829 9651.44,4 -4,4"/>
6
+<!-- Title: BuildDefUseGraph Pages: 1 -->
7
+<svg width="13468pt" height="482pt"
8
+ viewBox="0.00 0.00 13467.86 481.60" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
9
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 477.6)">
10
+<title>BuildDefUseGraph</title>
11
+<polygon fill="white" stroke="none" points="-4,4 -4,-477.6 13463.86,-477.6 13463.86,4 -4,4"/>
12
<!-- v0 -->
13
<g id="node1" class="node">
14
<title>v0</title>
15
-<polygon fill="none" stroke="black" points="277.85,-822.2 71.01,-822.2 71.01,-786.2 277.85,-786.2 277.85,-822.2"/>
16
-<text text-anchor="middle" x="174.43" y="-800" font-family="Times,serif" font-size="14.00">v0 (frozen props$1 @ <no-instr>)</text>
15
+<polygon fill="none" stroke="black" points="611.86,-396 256.43,-396 256.43,-360 611.86,-360 611.86,-396"/>
16
+<text text-anchor="middle" x="434.14" y="-373.8" font-family="Times,serif" font-size="14.00">v0 (frozen props$1.items @ frozen props$1.items) <update></text>
17
</g>
18
<!-- v1 -->
19
<g id="node2" class="node">
20
<title>v1</title>
21
-<polygon fill="none" stroke="black" points="324.03,-746.4 24.82,-746.4 24.82,-710.4 324.03,-710.4 324.03,-746.4"/>
22
-<text text-anchor="middle" x="174.43" y="-724.2" font-family="Times,serif" font-size="14.00">v1 (frozen props$1.items @ frozen props$1.items)</text>
21
+<polygon fill="none" stroke="black" points="428.91,-324 11.38,-324 11.38,-288 428.91,-288 428.91,-324"/>
22
+<text text-anchor="middle" x="220.14" y="-301.8" font-family="Times,serif" font-size="14.00">v1 (frozen items$2 @ frozen items$2 = frozen props$1.items) <assign></text>
23
</g>
24
<!-- v0->v1 -->
25
<g id="edge1" class="edge">
26
<title>v0->v1</title>
27
-<path fill="none" stroke="black" d="M174.43,-786.08C174.43,-777.33 174.43,-766.46 174.43,-756.59"/>
28
-<polygon fill="black" stroke="black" points="177.93,-756.42 174.43,-746.42 170.93,-756.42 177.93,-756.42"/>
29
-</g>
30
-<!-- v4 -->
31
-<g id="node5" class="node">
32
-<title>v4</title>
33
-<polygon fill="none" stroke="black" points="348.78,-657.6 0.07,-657.6 0.07,-621.6 348.78,-621.6 348.78,-657.6"/>
34
-<text text-anchor="middle" x="174.43" y="-635.4" font-family="Times,serif" font-size="14.00">v4 (frozen props$1.maxItems @ frozen props$1.maxItems)</text>
35
-</g>
36
-<!-- v1->v4 -->
37
-<g id="edge3" class="edge">
38
-<title>v1->v4</title>
39
-<path fill="none" stroke="black" d="M174.43,-710.25C174.43,-698.12 174.43,-681.62 174.43,-667.72"/>
40
-<polygon fill="black" stroke="black" points="177.93,-667.71 174.43,-657.71 170.93,-667.71 177.93,-667.71"/>
27
+<path fill="none" stroke="black" d="M382.07,-359.97C351.91,-350.1 313.76,-337.62 282.07,-327.25"/>
28
+<polygon fill="black" stroke="black" points="283.05,-323.89 272.45,-324.11 280.87,-330.55 283.05,-323.89"/>
29
</g>
30
<!-- v2 -->
31
<g id="node3" class="node">
32
<title>v2</title>
45
-<polygon fill="none" stroke="black" points="700.9,-822.2 337.96,-822.2 337.96,-786.2 700.9,-786.2 700.9,-822.2"/>
46
-<text text-anchor="middle" x="519.43" y="-800" font-family="Times,serif" font-size="14.00">v2 (frozen items$2 @ frozen items$2 = frozen props$1.items)</text>
33
+<polygon fill="none" stroke="black" points="863.11,-324 457.18,-324 457.18,-288 863.11,-288 863.11,-324"/>
34
+<text text-anchor="middle" x="660.14" y="-301.8" font-family="Times,serif" font-size="14.00">v2 (frozen props$1.maxItems @ frozen props$1.maxItems) <update></text>
35
</g>
48
-<!-- v3 -->
36
+<!-- v0->v2 -->
37
+<g id="edge2" class="edge">
38
+<title>v0->v2</title>
39
+<path fill="none" stroke="black" d="M489.14,-359.97C521.13,-350.06 561.63,-337.51 595.18,-327.12"/>
40
+<polygon fill="black" stroke="black" points="596.38,-330.41 604.9,-324.11 594.31,-323.73 596.38,-330.41"/>
41
+</g>
42
+<!-- v12 -->
43
<g id="node4" class="node">
44
+<title>v12</title>
45
+<polygon fill="none" stroke="black" points="418.43,-252 -0.14,-252 -0.14,-216 418.43,-216 418.43,-252"/>
46
+<text text-anchor="middle" x="209.14" y="-229.8" font-family="Times,serif" font-size="14.00">v12 (frozen items$2 @ If (frozen items$2) then:bb3 else:bb2) <update></text>
47
+</g>
48
+<!-- v1->v12 -->
49
+<g id="edge3" class="edge">
50
+<title>v1->v12</title>
51
+<path fill="none" stroke="black" d="M217.42,-287.7C216.21,-279.98 214.76,-270.71 213.4,-262.11"/>
52
+<polygon fill="black" stroke="black" points="216.84,-261.44 211.83,-252.1 209.93,-262.53 216.84,-261.44"/>
53
+</g>
54
+<!-- v3 -->
55
+<g id="node5" class="node">
56
<title>v3</title>
51
-<polygon fill="none" stroke="black" points="696.61,-746.4 342.25,-746.4 342.25,-710.4 696.61,-710.4 696.61,-746.4"/>
52
-<text text-anchor="middle" x="519.43" y="-724.2" font-family="Times,serif" font-size="14.00">v3 (frozen items$2 @ If (frozen items$2) then:bb3 else:bb2)</text>
57
+<polygon fill="none" stroke="black" points="928.03,-252 436.25,-252 436.25,-216 928.03,-216 928.03,-252"/>
58
+<text text-anchor="middle" x="682.14" y="-229.8" font-family="Times,serif" font-size="14.00">v3 (frozen maxItems$3 @ frozen maxItems$3 = frozen props$1.maxItems) <assign></text>
59
</g>
60
<!-- v2->v3 -->
55
-<g id="edge2" class="edge">
61
+<g id="edge4" class="edge">
62
<title>v2->v3</title>
57
-<path fill="none" stroke="black" d="M519.43,-786.08C519.43,-777.33 519.43,-766.46 519.43,-756.59"/>
58
-<polygon fill="black" stroke="black" points="522.93,-756.42 519.43,-746.42 515.93,-756.42 522.93,-756.42"/>
59
-</g>
60
-<!-- v3->v3 -->
61
-<g id="edge11" class="edge">
62
-<title>v3->v3</title>
63
-<path fill="none" stroke="black" d="M696.7,-733.23C707.97,-732.09 714.77,-730.49 714.77,-728.4 714.77,-727.03 711.84,-725.87 706.64,-724.91"/>
64
-<polygon fill="black" stroke="black" points="707.07,-721.44 696.7,-723.57 706.14,-728.37 707.07,-721.44"/>
63
+<path fill="none" stroke="black" d="M665.58,-287.7C668.03,-279.9 670.98,-270.51 673.71,-261.83"/>
64
+<polygon fill="black" stroke="black" points="677.11,-262.69 676.77,-252.1 670.43,-260.59 677.11,-262.69"/>
65
</g>
66
-<!-- v5 -->
66
+<!-- v10 -->
67
<g id="node6" class="node">
68
-<title>v5</title>
69
-<polygon fill="none" stroke="black" points="1199.03,-822.2 761.83,-822.2 761.83,-786.2 1199.03,-786.2 1199.03,-822.2"/>
70
-<text text-anchor="middle" x="980.43" y="-800" font-family="Times,serif" font-size="14.00">v5 (frozen maxItems$3 @ frozen maxItems$3 = frozen props$1.maxItems)</text>
68
+<title>v10</title>
69
+<polygon fill="none" stroke="black" points="966.39,-180 397.9,-180 397.9,-144 966.39,-144 966.39,-180"/>
70
+<text text-anchor="middle" x="682.14" y="-157.8" font-family="Times,serif" font-size="14.00">v10 (frozen maxItems$3 @ Call mutable Math$8.max(mutable $9, frozen maxItems$3)) <update></text>
71
</g>
72
-<!-- v6 -->
73
-<g id="node7" class="node">
74
-<title>v6</title>
75
-<polygon fill="none" stroke="black" points="1228.22,-746.4 732.63,-746.4 732.63,-710.4 1228.22,-710.4 1228.22,-746.4"/>
76
-<text text-anchor="middle" x="980.43" y="-724.2" font-family="Times,serif" font-size="14.00">v6 (frozen maxItems$3 @ Call mutable Math$8.max(frozen $9, frozen maxItems$3))</text>
72
+<!-- v3->v10 -->
73
+<g id="edge5" class="edge">
74
+<title>v3->v10</title>
75
+<path fill="none" stroke="black" d="M682.14,-215.7C682.14,-207.98 682.14,-198.71 682.14,-190.11"/>
76
+<polygon fill="black" stroke="black" points="685.64,-190.1 682.14,-180.1 678.64,-190.1 685.64,-190.1"/>
77
</g>
78
-<!-- v5->v6 -->
79
-<g id="edge4" class="edge">
80
-<title>v5->v6</title>
81
-<path fill="none" stroke="black" d="M980.43,-786.08C980.43,-777.33 980.43,-766.46 980.43,-756.59"/>
82
-<polygon fill="black" stroke="black" points="983.93,-756.42 980.43,-746.42 976.93,-756.42 983.93,-756.42"/>
78
+<!-- v4 -->
79
+<g id="node7" class="node">
80
+<title>v4</title>
81
+<polygon fill="none" stroke="black" points="1837.62,-470.8 1366.67,-470.8 1366.67,-434.8 1837.62,-434.8 1837.62,-470.8"/>
82
+<text text-anchor="middle" x="1602.14" y="-448.6" font-family="Times,serif" font-size="14.00">v4 (readonly renderedItems$4 @ readonly renderedItems$4 = Array []) <assign></text>
83
</g>
84
-<!-- v7 -->
84
+<!-- v18 -->
85
<g id="node8" class="node">
86
-<title>v7</title>
87
-<polygon fill="none" stroke="black" points="1649.84,-822.2 1241.01,-822.2 1241.01,-786.2 1649.84,-786.2 1649.84,-822.2"/>
88
-<text text-anchor="middle" x="1445.43" y="-800" font-family="Times,serif" font-size="14.00">v7 (mutable renderedItems$4 @ mutable renderedItems$4 = Array [])</text>
86
+<title>v18</title>
87
+<polygon fill="none" stroke="black" points="1884.55,-180 1387.73,-180 1387.73,-144 1884.55,-144 1884.55,-180"/>
88
+<text text-anchor="middle" x="1636.14" y="-157.8" font-family="Times,serif" font-size="14.00">v18 (readonly renderedItems$4.length @ readonly renderedItems$4.length) <update></text>
89
</g>
90
-<!-- v8 -->
90
+<!-- v4->v18 -->
91
+<g id="edge6" class="edge">
92
+<title>v4->v18</title>
93
+<path fill="none" stroke="black" d="M1674.19,-434.78C1697.1,-426.34 1720.93,-413.97 1738.14,-396 1761.68,-371.43 1758.28,-357.51 1764.14,-324 1772.44,-276.62 1785.38,-254.94 1757.14,-216 1747.07,-202.11 1732.55,-191.81 1717.04,-184.19"/>
94
+<polygon fill="black" stroke="black" points="1718.38,-180.95 1707.83,-180.01 1715.48,-187.33 1718.38,-180.95"/>
95
+</g>
96
+<!-- v49 -->
97
<g id="node9" class="node">
92
-<title>v8</title>
93
-<polygon fill="none" stroke="black" points="1633.73,-568.8 1201.13,-568.8 1201.13,-532.8 1633.73,-532.8 1633.73,-568.8"/>
94
-<text text-anchor="middle" x="1417.43" y="-546.6" font-family="Times,serif" font-size="14.00">v8 (readonly renderedItems$4.length @ readonly renderedItems$4.length)</text>
98
+<title>v49</title>
99
+<polygon fill="none" stroke="black" points="1700.95,-396 1123.34,-396 1123.34,-360 1700.95,-360 1700.95,-396"/>
100
+<text text-anchor="middle" x="1412.14" y="-373.8" font-family="Times,serif" font-size="14.00">v49 (mutable renderedItems$4.push @ Call mutable renderedItems$4.push(mutable $15)) <update></text>
101
</g>
96
-<!-- v7->v8 -->
97
-<g id="edge5" class="edge">
98
-<title>v7->v8</title>
99
-<path fill="none" stroke="black" d="M1423.34,-786.01C1411.3,-775.65 1396.95,-761.56 1387.43,-746.4 1365.27,-711.12 1364.18,-698.71 1357.43,-657.6 1354.83,-641.81 1351.87,-636.6 1357.43,-621.6 1363.87,-604.23 1376.78,-588.28 1388.98,-576.02"/>
100
-<polygon fill="black" stroke="black" points="1391.63,-578.33 1396.42,-568.89 1386.78,-573.28 1391.63,-578.33"/>
102
+<!-- v4->v49 -->
103
+<g id="edge7" class="edge">
104
+<title>v4->v49</title>
105
+<path fill="none" stroke="black" d="M1557.6,-434.73C1530.3,-424.27 1495.17,-410.81 1466.28,-399.74"/>
106
+<polygon fill="black" stroke="black" points="1467.33,-396.4 1456.74,-396.09 1464.83,-402.93 1467.33,-396.4"/>
107
</g>
102
-<!-- v9 -->
108
+<!-- v62 -->
109
<g id="node10" class="node">
104
-<title>v9</title>
105
-<polygon fill="none" stroke="black" points="1910.13,-746.4 1396.73,-746.4 1396.73,-710.4 1910.13,-710.4 1910.13,-746.4"/>
106
-<text text-anchor="middle" x="1653.43" y="-724.2" font-family="Times,serif" font-size="14.00">v9 (mutable renderedItems$4.push @ Call mutable renderedItems$4.push(mutable $15))</text>
110
+<title>v62</title>
111
+<polygon fill="none" stroke="black" points="1747.88,-252 1524.41,-252 1524.41,-216 1747.88,-216 1747.88,-252"/>
112
+<text text-anchor="middle" x="1636.14" y="-229.8" font-family="Times,serif" font-size="14.00">v62 (<join> @ <no-instr>) <update></text>
113
</g>
108
-<!-- v7->v9 -->
109
-<g id="edge6" class="edge">
110
-<title>v7->v9</title>
111
-<path fill="none" stroke="black" d="M1493.41,-786.18C1523.85,-775.37 1563.42,-761.33 1595.6,-749.92"/>
112
-<polygon fill="black" stroke="black" points="1597.07,-753.11 1605.33,-746.47 1594.73,-746.51 1597.07,-753.11"/>
114
+<!-- v4->v62 -->
115
+<g id="edge8" class="edge">
116
+<title>v4->v62</title>
117
+<path fill="none" stroke="black" d="M1650.1,-434.7C1670.49,-425.62 1693.37,-412.81 1710.14,-396 1735.56,-370.53 1738.68,-358.97 1747.14,-324 1750.91,-308.45 1755.68,-301.53 1747.14,-288 1738.51,-274.31 1725.27,-264.09 1710.89,-256.47"/>
118
+<polygon fill="black" stroke="black" points="1712.35,-253.29 1701.83,-252.05 1709.29,-259.58 1712.35,-253.29"/>
119
</g>
114
-<!-- v27 -->
115
-<g id="node28" class="node">
116
-<title>v27</title>
117
-<polygon fill="none" stroke="black" points="1643.79,-480 1191.06,-480 1191.06,-444 1643.79,-444 1643.79,-480"/>
118
-<text text-anchor="middle" x="1417.43" y="-457.8" font-family="Times,serif" font-size="14.00">v27 (frozen count$17 @ frozen count$17 = readonly renderedItems$4.length)</text>
120
+<!-- v71 -->
121
+<g id="node11" class="node">
122
+<title>v71</title>
123
+<polygon fill="none" stroke="black" points="1169.88,-252 946.41,-252 946.41,-216 1169.88,-216 1169.88,-252"/>
124
+<text text-anchor="middle" x="1058.14" y="-229.8" font-family="Times,serif" font-size="14.00">v71 (<join> @ <no-instr>) <update></text>
125
</g>
120
-<!-- v8->v27 -->
121
-<g id="edge19" class="edge">
122
-<title>v8->v27</title>
123
-<path fill="none" stroke="black" d="M1423.38,-532.56C1425.04,-526.96 1426.6,-520.68 1427.43,-514.8 1428.46,-507.41 1428.46,-505.39 1427.43,-498 1427.07,-495.43 1426.56,-492.78 1425.97,-490.14"/>
124
-<polygon fill="black" stroke="black" points="1429.3,-489.03 1423.38,-480.24 1422.53,-490.8 1429.3,-489.03"/>
125
-<text text-anchor="middle" x="1449.02" y="-502.2" font-family="Times,serif" font-size="14.00">capture</text>
126
+<!-- v4->v71 -->
127
+<g id="edge9" class="edge">
128
+<title>v4->v71</title>
129
+<path fill="none" stroke="black" d="M1366.72,-441.69C1264.44,-433.9 1158.03,-420.16 1114.14,-396 1078.15,-376.18 1069.81,-362.75 1056.14,-324 1049.17,-304.23 1050.15,-280.43 1052.61,-262.42"/>
130
+<polygon fill="black" stroke="black" points="1056.1,-262.72 1054.23,-252.3 1049.19,-261.62 1056.1,-262.72"/>
131
</g>
127
-<!-- v28 -->
128
-<g id="node29" class="node">
129
-<title>v28</title>
130
-<polygon fill="none" stroke="black" points="1393.81,-391.2 871.05,-391.2 871.05,-355.2 1393.81,-355.2 1393.81,-391.2"/>
131
-<text text-anchor="middle" x="1132.43" y="-369" font-family="Times,serif" font-size="14.00">v28 (frozen count$17 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>)</text>
132
+<!-- v19 -->
133
+<g id="node31" class="node">
134
+<title>v19</title>
135
+<polygon fill="none" stroke="black" points="1538.76,-108 1005.53,-108 1005.53,-72 1538.76,-72 1538.76,-108"/>
136
+<text text-anchor="middle" x="1272.14" y="-85.8" font-family="Times,serif" font-size="14.00">v19 (readonly count$17 @ readonly count$17 = readonly renderedItems$4.length) <assign></text>
137
</g>
133
-<!-- v8->v28 -->
134
-<g id="edge28" class="edge">
135
-<title>v8->v28</title>
136
-<path fill="none" stroke="black" d="M1293.18,-532.74C1229.67,-521.32 1161.54,-503.96 1141.23,-480 1123.04,-458.54 1123.41,-425.06 1126.68,-401.53"/>
137
-<polygon fill="black" stroke="black" points="1130.16,-401.92 1128.32,-391.49 1123.25,-400.79 1130.16,-401.92"/>
138
-<text text-anchor="middle" x="1162.02" y="-457.8" font-family="Times,serif" font-size="14.00">capture</text>
138
+<!-- v18->v19 -->
139
+<g id="edge21" class="edge">
140
+<title>v18->v19</title>
141
+<path fill="none" stroke="black" d="M1547.57,-143.97C1494.17,-133.7 1426.07,-120.6 1370.94,-110"/>
142
+<polygon fill="black" stroke="black" points="1371.29,-106.5 1360.8,-108.05 1369.96,-113.38 1371.29,-106.5"/>
143
</g>
140
-<!-- v29 -->
141
-<g id="node30" class="node">
142
-<title>v29</title>
143
-<polygon fill="none" stroke="black" points="2223.27,-302.4 1369.59,-302.4 1369.59,-266.4 2223.27,-266.4 2223.27,-302.4"/>
144
-<text text-anchor="middle" x="1796.43" y="-280.2" font-family="Times,serif" font-size="14.00">v29 (readonly renderedItems$4 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
144
+<!-- v34 -->
145
+<g id="node32" class="node">
146
+<title>v34</title>
147
+<polygon fill="none" stroke="black" points="2441.14,-108 1557.15,-108 1557.15,-72 2441.14,-72 2441.14,-108"/>
148
+<text text-anchor="middle" x="1999.14" y="-85.8" font-family="Times,serif" font-size="14.00">v34 (frozen renderedItems$4 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
149
</g>
146
-<!-- v8->v29 -->
147
-<g id="edge20" class="edge">
148
-<title>v8->v29</title>
149
-<path fill="none" stroke="black" d="M1526.57,-532.73C1568.62,-522.38 1615.39,-505.95 1652.43,-480 1716.13,-435.36 1762.99,-353.55 1784.06,-311.65"/>
150
-<polygon fill="black" stroke="black" points="1787.23,-313.14 1788.52,-302.62 1780.95,-310.04 1787.23,-313.14"/>
150
+<!-- v18->v34 -->
151
+<g id="edge22" class="edge">
152
+<title>v18->v34</title>
153
+<path fill="none" stroke="black" d="M1724.48,-143.97C1777.72,-133.7 1845.64,-120.6 1900.62,-110"/>
154
+<polygon fill="black" stroke="black" points="1901.57,-113.38 1910.73,-108.05 1900.25,-106.51 1901.57,-113.38"/>
155
</g>
152
-<!-- v53 -->
153
-<g id="node54" class="node">
154
-<title>v53</title>
155
-<polygon fill="none" stroke="black" points="1940.21,-657.6 1366.64,-657.6 1366.64,-621.6 1940.21,-621.6 1940.21,-657.6"/>
156
-<text text-anchor="middle" x="1653.43" y="-635.4" font-family="Times,serif" font-size="14.00">v53 (mutable renderedItems$4.length @ Binary mutable renderedItems$4.length >= frozen max$7)</text>
156
+<!-- v51 -->
157
+<g id="node59" class="node">
158
+<title>v51</title>
159
+<polygon fill="none" stroke="black" points="1738.03,-324 1086.26,-324 1086.26,-288 1738.03,-288 1738.03,-324"/>
160
+<text text-anchor="middle" x="1412.14" y="-301.8" font-family="Times,serif" font-size="14.00">v51 (readonly renderedItems$4.length @ Binary readonly renderedItems$4.length >= readonly max$7) <update></text>
161
</g>
158
-<!-- v9->v53 -->
159
-<g id="edge56" class="edge">
160
-<title>v9->v53</title>
161
-<path fill="none" stroke="black" d="M1647.92,-710.25C1646.6,-698.12 1646.33,-681.62 1647.12,-667.72"/>
162
-<polygon fill="black" stroke="black" points="1650.61,-667.96 1647.93,-657.71 1643.63,-667.4 1650.61,-667.96"/>
162
+<!-- v49->v51 -->
163
+<g id="edge43" class="edge">
164
+<title>v49->v51</title>
165
+<path fill="none" stroke="black" d="M1412.14,-359.7C1412.14,-351.98 1412.14,-342.71 1412.14,-334.11"/>
166
+<polygon fill="black" stroke="black" points="1415.64,-334.1 1412.14,-324.1 1408.64,-334.1 1415.64,-334.1"/>
167
</g>
164
-<!-- v10 -->
165
-<g id="node11" class="node">
166
-<title>v10</title>
167
-<polygon fill="none" stroke="black" points="2152.23,-822.2 1772.62,-822.2 1772.62,-786.2 2152.23,-786.2 2152.23,-822.2"/>
168
-<text text-anchor="middle" x="1962.43" y="-800" font-family="Times,serif" font-size="14.00">v10 (mutable seen$5 @ mutable seen$5 = New mutable Set$6())</text>
168
+<!-- v62->v18 -->
169
+<g id="edge54" class="edge">
170
+<title>v62->v18</title>
171
+<path fill="none" stroke="black" d="M1636.14,-215.7C1636.14,-207.98 1636.14,-198.71 1636.14,-190.11"/>
172
+<polygon fill="black" stroke="black" points="1639.64,-190.1 1636.14,-180.1 1632.64,-190.1 1639.64,-190.1"/>
173
</g>
170
-<!-- v11 -->
171
-<g id="node12" class="node">
172
-<title>v11</title>
173
-<polygon fill="none" stroke="black" points="2381.05,-657.6 1961.81,-657.6 1961.81,-621.6 2381.05,-621.6 2381.05,-657.6"/>
174
-<text text-anchor="middle" x="2171.43" y="-635.4" font-family="Times,serif" font-size="14.00">v11 (mutable seen$5.has @ Call mutable seen$5.has(mutable item$10))</text>
174
+<!-- v71->v49 -->
175
+<g id="edge55" class="edge">
176
+<title>v71->v49</title>
177
+<path fill="none" stroke="black" d="M1056.54,-252.13C1055.67,-272.34 1057.65,-305.52 1077.14,-324 1093.53,-339.54 1130.17,-350.52 1173.46,-358.28"/>
178
+<polygon fill="black" stroke="black" points="1172.94,-361.75 1183.38,-359.99 1174.12,-354.85 1172.94,-361.75"/>
179
</g>
176
-<!-- v10->v11 -->
177
-<g id="edge7" class="edge">
178
-<title>v10->v11</title>
179
-<path fill="none" stroke="black" d="M1955.54,-785.98C1948.72,-765.84 1941.41,-732.47 1957.43,-710.4 1974.21,-687.27 1998.87,-671.66 2025.53,-661.16"/>
180
-<polygon fill="black" stroke="black" points="2026.87,-664.4 2035.04,-657.65 2024.44,-657.83 2026.87,-664.4"/>
180
+<!-- v5 -->
181
+<g id="node12" class="node">
182
+<title>v5</title>
183
+<polygon fill="none" stroke="black" points="2228.7,-470.8 1909.59,-470.8 1909.59,-434.8 2228.7,-434.8 2228.7,-470.8"/>
184
+<text text-anchor="middle" x="2069.14" y="-448.6" font-family="Times,serif" font-size="14.00">v5 (mutable Set$6 @ New mutable Set$6()) <update></text>
185
</g>
182
-<!-- v12 -->
186
+<!-- v6 -->
187
<g id="node13" class="node">
184
-<title>v12</title>
185
-<polygon fill="none" stroke="black" points="2388.65,-746.4 1966.2,-746.4 1966.2,-710.4 2388.65,-710.4 2388.65,-746.4"/>
186
-<text text-anchor="middle" x="2177.43" y="-724.2" font-family="Times,serif" font-size="14.00">v12 (mutable seen$5.add @ Call mutable seen$5.add(mutable item$10))</text>
188
+<title>v6</title>
189
+<polygon fill="none" stroke="black" points="2708.5,-470.8 2273.78,-470.8 2273.78,-434.8 2708.5,-434.8 2708.5,-470.8"/>
190
+<text text-anchor="middle" x="2491.14" y="-448.6" font-family="Times,serif" font-size="14.00">v6 (readonly seen$5 @ readonly seen$5 = New mutable Set$6()) <assign></text>
191
</g>
188
-<!-- v10->v12 -->
189
-<g id="edge8" class="edge">
190
-<title>v10->v12</title>
191
-<path fill="none" stroke="black" d="M2012.02,-786.18C2043.63,-775.33 2084.75,-761.21 2118.08,-749.77"/>
192
-<polygon fill="black" stroke="black" points="2119.39,-753.02 2127.71,-746.47 2117.12,-746.4 2119.39,-753.02"/>
192
+<!-- v39 -->
193
+<g id="node14" class="node">
194
+<title>v39</title>
195
+<polygon fill="none" stroke="black" points="2724.53,-396 2257.76,-396 2257.76,-360 2724.53,-360 2724.53,-396"/>
196
+<text text-anchor="middle" x="2491.14" y="-373.8" font-family="Times,serif" font-size="14.00">v39 (mutable seen$5.has @ Call mutable seen$5.has(frozen item$10)) <update></text>
197
</g>
194
-<!-- v11->v11 -->
195
-<g id="edge45" class="edge">
196
-<title>v11->v11</title>
197
-<path fill="none" stroke="black" d="M2381.1,-645.14C2392.48,-643.79 2399.24,-641.94 2399.24,-639.6 2399.24,-638.06 2396.33,-636.74 2391.11,-635.63"/>
198
-<polygon fill="black" stroke="black" points="2391.53,-632.15 2381.1,-634.06 2390.44,-639.07 2391.53,-632.15"/>
198
+<!-- v6->v39 -->
199
+<g id="edge10" class="edge">
200
+<title>v6->v39</title>
201
+<path fill="none" stroke="black" d="M2491.14,-434.55C2491.14,-426.12 2491.14,-415.77 2491.14,-406.3"/>
202
+<polygon fill="black" stroke="black" points="2494.64,-406.13 2491.14,-396.13 2487.64,-406.13 2494.64,-406.13"/>
203
</g>
200
-<!-- v12->v11 -->
201
-<g id="edge49" class="edge">
202
-<title>v12->v11</title>
203
-<path fill="none" stroke="black" d="M2176.24,-710.25C2175.4,-698.12 2174.26,-681.62 2173.3,-667.72"/>
204
-<polygon fill="black" stroke="black" points="2176.79,-667.45 2172.61,-657.71 2169.81,-667.93 2176.79,-667.45"/>
204
+<!-- v56 -->
205
+<g id="node15" class="node">
206
+<title>v56</title>
207
+<polygon fill="none" stroke="black" points="2341.88,-324 2118.41,-324 2118.41,-288 2341.88,-288 2341.88,-324"/>
208
+<text text-anchor="middle" x="2230.14" y="-301.8" font-family="Times,serif" font-size="14.00">v56 (<join> @ <no-instr>) <update></text>
209
</g>
206
-<!-- v12->v12 -->
207
-<g id="edge50" class="edge">
208
-<title>v12->v12</title>
209
-<path fill="none" stroke="black" d="M2388.85,-732.93C2400.11,-731.82 2406.79,-730.31 2406.79,-728.4 2406.79,-727.18 2404.05,-726.12 2399.12,-725.23"/>
210
-<polygon fill="black" stroke="black" points="2399.22,-721.71 2388.85,-723.87 2398.31,-728.65 2399.22,-721.71"/>
210
+<!-- v6->v56 -->
211
+<g id="edge11" class="edge">
212
+<title>v6->v56</title>
213
+<path fill="none" stroke="black" d="M2362.33,-434.79C2313.65,-425.81 2265.93,-413.06 2249.14,-396 2233.34,-379.94 2229.25,-354.16 2228.72,-334.47"/>
214
+<polygon fill="black" stroke="black" points="2232.22,-334.26 2228.75,-324.26 2225.22,-334.25 2232.22,-334.26"/>
215
</g>
212
-<!-- v13 -->
213
-<g id="node14" class="node">
214
-<title>v13</title>
215
-<polygon fill="none" stroke="black" points="2486.38,-822.2 2216.48,-822.2 2216.48,-786.2 2486.38,-786.2 2486.38,-822.2"/>
216
-<text text-anchor="middle" x="2351.43" y="-800" font-family="Times,serif" font-size="14.00">v13 (mutable Set$6 @ New mutable Set$6())</text>
216
+<!-- v59 -->
217
+<g id="node16" class="node">
218
+<title>v59</title>
219
+<polygon fill="none" stroke="black" points="2613.88,-180 2390.41,-180 2390.41,-144 2613.88,-144 2613.88,-180"/>
220
+<text text-anchor="middle" x="2502.14" y="-157.8" font-family="Times,serif" font-size="14.00">v59 (<join> @ <no-instr>) <update></text>
221
</g>
218
-<!-- v14 -->
219
-<g id="node15" class="node">
220
-<title>v14</title>
221
-<polygon fill="none" stroke="black" points="2747.54,-822.2 2549.31,-822.2 2549.31,-786.2 2747.54,-786.2 2747.54,-822.2"/>
222
-<text text-anchor="middle" x="2648.43" y="-800" font-family="Times,serif" font-size="14.00">v14 (frozen $9 @ frozen $9 = 0)</text>
222
+<!-- v6->v59 -->
223
+<g id="edge12" class="edge">
224
+<title>v6->v59</title>
225
+<path fill="none" stroke="black" d="M2630.68,-434.76C2676.42,-426.1 2719.15,-413.59 2733.14,-396 2800.81,-310.95 2639.3,-223.25 2552.63,-184.09"/>
226
+<polygon fill="black" stroke="black" points="2554.03,-180.89 2543.47,-180.01 2551.18,-187.28 2554.03,-180.89"/>
227
</g>
224
-<!-- v15 -->
225
-<g id="node16" class="node">
226
-<title>v15</title>
227
-<polygon fill="none" stroke="black" points="2872.01,-746.4 2424.84,-746.4 2424.84,-710.4 2872.01,-710.4 2872.01,-746.4"/>
228
-<text text-anchor="middle" x="2648.43" y="-724.2" font-family="Times,serif" font-size="14.00">v15 (frozen $9 @ Call mutable Math$8.max(frozen $9, frozen maxItems$3))</text>
228
+<!-- v39->v56 -->
229
+<g id="edge33" class="edge">
230
+<title>v39->v56</title>
231
+<path fill="none" stroke="black" d="M2427.63,-359.97C2390.21,-349.93 2342.71,-337.19 2303.67,-326.72"/>
232
+<polygon fill="black" stroke="black" points="2304.51,-323.32 2293.94,-324.11 2302.69,-330.08 2304.51,-323.32"/>
233
</g>
230
-<!-- v14->v15 -->
231
-<g id="edge9" class="edge">
232
-<title>v14->v15</title>
233
-<path fill="none" stroke="black" d="M2648.43,-786.08C2648.43,-777.33 2648.43,-766.46 2648.43,-756.59"/>
234
-<polygon fill="black" stroke="black" points="2651.93,-756.42 2648.43,-746.42 2644.93,-756.42 2651.93,-756.42"/>
234
+<!-- v39->v59 -->
235
+<g id="edge34" class="edge">
236
+<title>v39->v59</title>
237
+<path fill="none" stroke="black" d="M2488.15,-359.85C2486.52,-322.83 2490.75,-235.18 2496.04,-190.39"/>
238
+<polygon fill="black" stroke="black" points="2499.55,-190.6 2497.37,-180.23 2492.6,-189.69 2499.55,-190.6"/>
239
</g>
236
-<!-- v16 -->
240
+<!-- v43 -->
241
+<g id="node52" class="node">
242
+<title>v43</title>
243
+<polygon fill="none" stroke="black" points="2465.13,-252 1995.16,-252 1995.16,-216 2465.13,-216 2465.13,-252"/>
244
+<text text-anchor="middle" x="2230.14" y="-229.8" font-family="Times,serif" font-size="14.00">v43 (mutable seen$5.add @ Call mutable seen$5.add(frozen item$10)) <update></text>
245
+</g>
246
+<!-- v56->v43 -->
247
+<g id="edge50" class="edge">
248
+<title>v56->v43</title>
249
+<path fill="none" stroke="black" d="M2224.23,-287.7C2223.43,-279.98 2223.21,-270.71 2223.55,-262.11"/>
250
+<polygon fill="black" stroke="black" points="2227.04,-262.32 2224.25,-252.1 2220.06,-261.84 2227.04,-262.32"/>
251
+</g>
252
+<!-- v59->v39 -->
253
+<g id="edge53" class="edge">
254
+<title>v59->v39</title>
255
+<path fill="none" stroke="black" d="M2505.14,-180.23C2506.77,-217.32 2502.53,-304.98 2497.23,-349.71"/>
256
+<polygon fill="black" stroke="black" points="2493.73,-349.48 2495.9,-359.85 2500.67,-350.39 2493.73,-349.48"/>
257
+</g>
258
+<!-- v7 -->
259
<g id="node17" class="node">
238
-<title>v16</title>
239
-<polygon fill="none" stroke="black" points="3407.37,-822.2 2843.49,-822.2 2843.49,-786.2 3407.37,-786.2 3407.37,-822.2"/>
240
-<text text-anchor="middle" x="3125.43" y="-800" font-family="Times,serif" font-size="14.00">v16 (frozen max$7 @ frozen max$7 = Call mutable Math$8.max(frozen $9, frozen maxItems$3))</text>
260
+<title>v7</title>
261
+<polygon fill="none" stroke="black" points="3174.01,-470.8 2902.28,-470.8 2902.28,-434.8 3174.01,-434.8 3174.01,-470.8"/>
262
+<text text-anchor="middle" x="3038.14" y="-448.6" font-family="Times,serif" font-size="14.00">v7 (readonly $9 @ readonly $9 = 0) <assign></text>
263
</g>
242
-<!-- v17 -->
264
+<!-- v9 -->
265
<g id="node18" class="node">
244
-<title>v17</title>
245
-<polygon fill="none" stroke="black" points="3360.41,-746.4 2890.45,-746.4 2890.45,-710.4 3360.41,-710.4 3360.41,-746.4"/>
246
-<text text-anchor="middle" x="3125.43" y="-724.2" font-family="Times,serif" font-size="14.00">v17 (frozen max$7 @ Binary mutable renderedItems$4.length >= frozen max$7)</text>
247
-</g>
248
-<!-- v16->v17 -->
249
-<g id="edge10" class="edge">
250
-<title>v16->v17</title>
251
-<path fill="none" stroke="black" d="M3125.43,-786.08C3125.43,-777.33 3125.43,-766.46 3125.43,-756.59"/>
252
-<polygon fill="black" stroke="black" points="3128.93,-756.42 3125.43,-746.42 3121.93,-756.42 3128.93,-756.42"/>
266
+<title>v9</title>
267
+<polygon fill="none" stroke="black" points="3296.03,-396 2780.26,-396 2780.26,-360 3296.03,-360 3296.03,-396"/>
268
+<text text-anchor="middle" x="3038.14" y="-373.8" font-family="Times,serif" font-size="14.00">v9 (mutable $9 @ Call mutable Math$8.max(mutable $9, frozen maxItems$3)) <update></text>
269
</g>
254
-<!-- v17->v17 -->
255
-<g id="edge61" class="edge">
256
-<title>v17->v17</title>
257
-<path fill="none" stroke="black" d="M3360.67,-732.73C3371.86,-731.65 3378.42,-730.2 3378.42,-728.4 3378.42,-727.25 3375.72,-726.24 3370.85,-725.38"/>
258
-<polygon fill="black" stroke="black" points="3371.04,-721.87 3360.67,-724.07 3370.14,-728.82 3371.04,-721.87"/>
270
+<!-- v7->v9 -->
271
+<g id="edge13" class="edge">
272
+<title>v7->v9</title>
273
+<path fill="none" stroke="black" d="M3038.14,-434.55C3038.14,-426.12 3038.14,-415.77 3038.14,-406.3"/>
274
+<polygon fill="black" stroke="black" points="3041.64,-406.13 3038.14,-396.13 3034.64,-406.13 3041.64,-406.13"/>
275
</g>
260
-<!-- v18 -->
276
+<!-- v8 -->
277
<g id="node19" class="node">
262
-<title>v18</title>
263
-<polygon fill="none" stroke="black" points="3939.51,-822.2 3425.34,-822.2 3425.34,-786.2 3939.51,-786.2 3939.51,-822.2"/>
264
-<text text-anchor="middle" x="3682.43" y="-800" font-family="Times,serif" font-size="14.00">v18 (mutable Math$8.max @ Call mutable Math$8.max(frozen $9, frozen maxItems$3))</text>
278
+<title>v8</title>
279
+<polygon fill="none" stroke="black" points="3764.68,-470.8 3191.6,-470.8 3191.6,-434.8 3764.68,-434.8 3764.68,-470.8"/>
280
+<text text-anchor="middle" x="3478.14" y="-448.6" font-family="Times,serif" font-size="14.00">v8 (mutable Math$8.max @ Call mutable Math$8.max(mutable $9, frozen maxItems$3)) <update></text>
281
</g>
266
-<!-- v19 -->
282
+<!-- v11 -->
283
<g id="node20" class="node">
268
-<title>v19</title>
269
-<polygon fill="none" stroke="black" points="4183.82,-822.2 3957.03,-822.2 3957.03,-786.2 4183.82,-786.2 4183.82,-822.2"/>
270
-<text text-anchor="middle" x="4070.43" y="-800" font-family="Times,serif" font-size="14.00">v19 (frozen $11 @ frozen $11 = null)</text>
284
+<title>v11</title>
285
+<polygon fill="none" stroke="black" points="4437.18,-470.8 3783.11,-470.8 3783.11,-434.8 4437.18,-434.8 4437.18,-470.8"/>
286
+<text text-anchor="middle" x="4110.14" y="-448.6" font-family="Times,serif" font-size="14.00">v11 (readonly max$7 @ readonly max$7 = Call mutable Math$8.max(mutable $9, frozen maxItems$3)) <assign></text>
287
</g>
272
-<!-- v20 -->
288
+<!-- v52 -->
289
<g id="node21" class="node">
274
-<title>v20</title>
275
-<polygon fill="none" stroke="black" points="4245.02,-746.4 3895.83,-746.4 3895.83,-710.4 4245.02,-710.4 4245.02,-746.4"/>
276
-<text text-anchor="middle" x="4070.43" y="-724.2" font-family="Times,serif" font-size="14.00">v20 (frozen $11 @ Binary mutable item$10 == frozen $11)</text>
290
+<title>v52</title>
291
+<polygon fill="none" stroke="black" points="4212.57,-396 3655.72,-396 3655.72,-360 4212.57,-360 4212.57,-396"/>
292
+<text text-anchor="middle" x="3934.14" y="-373.8" font-family="Times,serif" font-size="14.00">v52 (readonly max$7 @ Binary readonly renderedItems$4.length >= readonly max$7) <update></text>
293
</g>
278
-<!-- v19->v20 -->
279
-<g id="edge12" class="edge">
280
-<title>v19->v20</title>
281
-<path fill="none" stroke="black" d="M4070.43,-786.08C4070.43,-777.33 4070.43,-766.46 4070.43,-756.59"/>
282
-<polygon fill="black" stroke="black" points="4073.93,-756.42 4070.43,-746.42 4066.93,-756.42 4073.93,-756.42"/>
294
+<!-- v11->v52 -->
295
+<g id="edge14" class="edge">
296
+<title>v11->v52</title>
297
+<path fill="none" stroke="black" d="M4068.88,-434.73C4043.81,-424.36 4011.62,-411.05 3984.99,-400.03"/>
298
+<polygon fill="black" stroke="black" points="3986.03,-396.68 3975.45,-396.09 3983.36,-403.14 3986.03,-396.68"/>
299
</g>
284
-<!-- v21 -->
300
+<!-- v72 -->
301
<g id="node22" class="node">
286
-<title>v21</title>
287
-<polygon fill="none" stroke="black" points="4632.67,-822.2 4208.19,-822.2 4208.19,-786.2 4632.67,-786.2 4632.67,-822.2"/>
288
-<text text-anchor="middle" x="4420.43" y="-800" font-family="Times,serif" font-size="14.00">v21 (frozen $12 @ frozen $12 = Binary mutable item$10 == frozen $11)</text>
289
-</g>
290
-<!-- v22 -->
291
-<g id="node23" class="node">
292
-<title>v22</title>
293
-<polygon fill="none" stroke="black" points="4577.95,-746.4 4262.91,-746.4 4262.91,-710.4 4577.95,-710.4 4577.95,-746.4"/>
294
-<text text-anchor="middle" x="4420.43" y="-724.2" font-family="Times,serif" font-size="14.00">v22 (frozen $12 @ If (frozen $12) then:bb8 else:bb9)</text>
302
+<title>v72</title>
303
+<polygon fill="none" stroke="black" points="4045.88,-324 3822.41,-324 3822.41,-288 4045.88,-288 4045.88,-324"/>
304
+<text text-anchor="middle" x="3934.14" y="-301.8" font-family="Times,serif" font-size="14.00">v72 (<join> @ <no-instr>) <update></text>
305
</g>
296
-<!-- v21->v22 -->
297
-<g id="edge13" class="edge">
298
-<title>v21->v22</title>
299
-<path fill="none" stroke="black" d="M4420.43,-786.08C4420.43,-777.33 4420.43,-766.46 4420.43,-756.59"/>
300
-<polygon fill="black" stroke="black" points="4423.93,-756.42 4420.43,-746.42 4416.93,-756.42 4423.93,-756.42"/>
301
-</g>
302
-<!-- v22->v22 -->
303
-<g id="edge16" class="edge">
304
-<title>v22->v22</title>
305
-<path fill="none" stroke="black" d="M4578.11,-733.4C4589.18,-732.26 4595.94,-730.59 4595.94,-728.4 4595.94,-727 4593.17,-725.81 4588.26,-724.84"/>
306
-<polygon fill="black" stroke="black" points="4588.5,-721.33 4578.11,-723.4 4587.52,-728.27 4588.5,-721.33"/>
307
-</g>
308
-<!-- v26 -->
309
-<g id="node27" class="node">
310
-<title>v26</title>
311
-<polygon fill="none" stroke="black" points="4489.3,-657.6 4223.56,-657.6 4223.56,-621.6 4489.3,-621.6 4489.3,-657.6"/>
312
-<text text-anchor="middle" x="4356.43" y="-635.4" font-family="Times,serif" font-size="14.00">v26 (frozen $13 @ frozen $13 = frozen $12)</text>
306
+<!-- v11->v72 -->
307
+<g id="edge15" class="edge">
308
+<title>v11->v72</title>
309
+<path fill="none" stroke="black" d="M4172.41,-434.7C4191.38,-426.26 4210.11,-413.9 4221.14,-396 4229.54,-382.38 4231.38,-372.3 4221.14,-360 4199.75,-334.29 4124.11,-321.01 4055.85,-314.16"/>
310
+<polygon fill="black" stroke="black" points="4056.13,-310.68 4045.84,-313.2 4055.46,-317.64 4056.13,-310.68"/>
311
</g>
314
-<!-- v22->v26 -->
315
-<g id="edge42" class="edge">
316
-<title>v22->v26</title>
317
-<path fill="none" stroke="black" d="M4371.44,-710.23C4364.18,-705.56 4357.67,-699.71 4353.23,-692.4 4348.78,-685.06 4348.09,-676.01 4348.97,-667.54"/>
318
-<polygon fill="black" stroke="black" points="4352.42,-668.1 4350.68,-657.65 4345.52,-666.9 4352.42,-668.1"/>
319
-<text text-anchor="middle" x="4374.02" y="-679.8" font-family="Times,serif" font-size="14.00">capture</text>
312
+<!-- v52->v72 -->
313
+<g id="edge47" class="edge">
314
+<title>v52->v72</title>
315
+<path fill="none" stroke="black" d="M3928.23,-359.7C3927.43,-351.98 3927.21,-342.71 3927.55,-334.11"/>
316
+<polygon fill="black" stroke="black" points="3931.04,-334.32 3928.25,-324.1 3924.06,-333.84 3931.04,-334.32"/>
317
</g>
321
-<!-- v46 -->
322
-<g id="node47" class="node">
323
-<title>v46</title>
324
-<polygon fill="none" stroke="black" points="4670.95,-568.8 4355.91,-568.8 4355.91,-532.8 4670.95,-532.8 4670.95,-568.8"/>
325
-<text text-anchor="middle" x="4513.43" y="-546.6" font-family="Times,serif" font-size="14.00">v46 (frozen $13 @ If (frozen $13) then:bb1 else:bb4)</text>
318
+<!-- v72->v52 -->
319
+<g id="edge56" class="edge">
320
+<title>v72->v52</title>
321
+<path fill="none" stroke="black" d="M3940.04,-324.1C3940.84,-331.79 3941.08,-341.05 3940.75,-349.67"/>
322
+<polygon fill="black" stroke="black" points="3937.25,-349.48 3940.06,-359.7 3944.24,-349.96 3937.25,-349.48"/>
323
</g>
327
-<!-- v22->v46 -->
328
-<g id="edge48" class="edge">
329
-<title>v22->v46</title>
330
-<path fill="none" stroke="black" d="M4448.1,-710.14C4465.49,-697.73 4486.78,-679.4 4498.43,-657.6 4511.43,-633.27 4514.39,-601.52 4514.58,-579.17"/>
331
-<polygon fill="black" stroke="black" points="4518.08,-578.99 4514.49,-569.03 4511.08,-579.06 4518.08,-578.99"/>
332
-<text text-anchor="middle" x="4531.02" y="-635.4" font-family="Times,serif" font-size="14.00">capture</text>
324
+<!-- v13 -->
325
+<g id="node23" class="node">
326
+<title>v13</title>
327
+<polygon fill="none" stroke="black" points="4762.79,-470.8 4455.5,-470.8 4455.5,-434.8 4762.79,-434.8 4762.79,-470.8"/>
328
+<text text-anchor="middle" x="4609.14" y="-448.6" font-family="Times,serif" font-size="14.00">v13 (readonly $11 @ readonly $11 = null) <assign></text>
329
</g>
334
-<!-- v23 -->
330
+<!-- v15 -->
331
<g id="node24" class="node">
336
-<title>v23</title>
337
-<polygon fill="none" stroke="black" points="5492.25,-657.6 5108.61,-657.6 5108.61,-621.6 5492.25,-621.6 5492.25,-657.6"/>
338
-<text text-anchor="middle" x="5300.43" y="-635.4" font-family="Times,serif" font-size="14.00">v23 (mutable item$10 @ Binary mutable item$10 == frozen $11)</text>
332
+<title>v15</title>
333
+<polygon fill="none" stroke="black" points="4820.46,-396 4397.83,-396 4397.83,-360 4820.46,-360 4820.46,-396"/>
334
+<text text-anchor="middle" x="4609.14" y="-373.8" font-family="Times,serif" font-size="14.00">v15 (readonly $11 @ Binary frozen item$10 == readonly $11) <update></text>
335
</g>
340
-<!-- v24 -->
341
-<g id="node25" class="node">
342
-<title>v24</title>
343
-<polygon fill="none" stroke="black" points="5093.89,-568.8 4688.96,-568.8 4688.96,-532.8 5093.89,-532.8 5093.89,-568.8"/>
344
-<text text-anchor="middle" x="4891.43" y="-546.6" font-family="Times,serif" font-size="14.00">v24 (mutable item$10 @ Call mutable seen$5.has(mutable item$10))</text>
336
+<!-- v13->v15 -->
337
+<g id="edge16" class="edge">
338
+<title>v13->v15</title>
339
+<path fill="none" stroke="black" d="M4609.14,-434.55C4609.14,-426.12 4609.14,-415.77 4609.14,-406.3"/>
340
+<polygon fill="black" stroke="black" points="4612.64,-406.13 4609.14,-396.13 4605.64,-406.13 4612.64,-406.13"/>
341
</g>
346
-<!-- v23->v24 -->
347
-<g id="edge14" class="edge">
348
-<title>v23->v24</title>
349
-<path fill="none" stroke="black" d="M5220.11,-621.55C5151.45,-606.98 5052.74,-586.04 4981.44,-570.9"/>
350
-<polygon fill="black" stroke="black" points="4982.07,-567.46 4971.56,-568.81 4980.62,-574.31 4982.07,-567.46"/>
342
+<!-- v14 -->
343
+<g id="node25" class="node">
344
+<title>v14</title>
345
+<polygon fill="none" stroke="black" points="5535.61,-470.8 5100.68,-470.8 5100.68,-434.8 5535.61,-434.8 5535.61,-470.8"/>
346
+<text text-anchor="middle" x="5318.14" y="-448.6" font-family="Times,serif" font-size="14.00">v14 (frozen item$10 @ Binary frozen item$10 == readonly $11) <update></text>
347
</g>
352
-<!-- v25 -->
348
+<!-- v40 -->
349
<g id="node26" class="node">
354
-<title>v25</title>
355
-<polygon fill="none" stroke="black" points="5535.45,-568.8 5129.41,-568.8 5129.41,-532.8 5535.45,-532.8 5535.45,-568.8"/>
356
-<text text-anchor="middle" x="5332.43" y="-546.6" font-family="Times,serif" font-size="14.00">v25 (mutable item$10 @ Call mutable seen$5.add(mutable item$10))</text>
357
-</g>
358
-<!-- v23->v25 -->
359
-<g id="edge15" class="edge">
360
-<title>v23->v25</title>
361
-<path fill="none" stroke="black" d="M5306.75,-621.45C5311.26,-609.21 5317.42,-592.49 5322.58,-578.51"/>
362
-<polygon fill="black" stroke="black" points="5325.94,-579.51 5326.12,-568.91 5319.38,-577.09 5325.94,-579.51"/>
350
+<title>v40</title>
351
+<polygon fill="none" stroke="black" points="5281.53,-396 4838.76,-396 4838.76,-360 5281.53,-360 5281.53,-396"/>
352
+<text text-anchor="middle" x="5060.14" y="-373.8" font-family="Times,serif" font-size="14.00">v40 (frozen item$10 @ Call mutable seen$5.has(frozen item$10)) <update></text>
353
</g>
364
-<!-- v24->v24 -->
365
-<g id="edge46" class="edge">
366
-<title>v24->v24</title>
367
-<path fill="none" stroke="black" d="M5093.82,-556.38C5105.01,-555.02 5111.66,-553.16 5111.66,-550.8 5111.66,-549.29 5108.93,-547.98 5104.03,-546.88"/>
368
-<polygon fill="black" stroke="black" points="5104.25,-543.37 5093.82,-545.22 5103.13,-550.28 5104.25,-543.37"/>
354
+<!-- v14->v40 -->
355
+<g id="edge17" class="edge">
356
+<title>v14->v40</title>
357
+<path fill="none" stroke="black" d="M5257.65,-434.73C5219.54,-423.98 5170.19,-410.05 5130.35,-398.81"/>
358
+<polygon fill="black" stroke="black" points="5131.28,-395.43 5120.7,-396.09 5129.37,-402.17 5131.28,-395.43"/>
359
</g>
370
-<!-- v47 -->
371
-<g id="node48" class="node">
372
-<title>v47</title>
373
-<polygon fill="none" stroke="black" points="5059.5,-657.6 4595.35,-657.6 4595.35,-621.6 5059.5,-621.6 5059.5,-657.6"/>
374
-<text text-anchor="middle" x="4827.43" y="-635.4" font-family="Times,serif" font-size="14.00">v47 (mutable $13 @ mutable $13 = Call mutable seen$5.has(mutable item$10))</text>
360
+<!-- v57 -->
361
+<g id="node27" class="node">
362
+<title>v57</title>
363
+<polygon fill="none" stroke="black" points="5429.88,-324 5206.41,-324 5206.41,-288 5429.88,-288 5429.88,-324"/>
364
+<text text-anchor="middle" x="5318.14" y="-301.8" font-family="Times,serif" font-size="14.00">v57 (<join> @ <no-instr>) <update></text>
365
</g>
376
-<!-- v24->v47 -->
377
-<g id="edge44" class="edge">
378
-<title>v24->v47</title>
379
-<path fill="none" stroke="black" d="M4886.36,-569.2C4882.73,-579.8 4877.12,-593.25 4869.43,-603.6 4866.54,-607.49 4863.13,-611.22 4859.53,-614.7"/>
380
-<polygon fill="black" stroke="black" points="4857.08,-612.19 4851.95,-621.47 4861.74,-617.41 4857.08,-612.19"/>
381
-<text text-anchor="middle" x="4900.02" y="-591" font-family="Times,serif" font-size="14.00">capture</text>
366
+<!-- v14->v57 -->
367
+<g id="edge18" class="edge">
368
+<title>v14->v57</title>
369
+<path fill="none" stroke="black" d="M5313.59,-434.62C5310.98,-409.8 5310.7,-363.66 5312.74,-334.19"/>
370
+<polygon fill="black" stroke="black" points="5316.23,-334.42 5313.59,-324.16 5309.25,-333.82 5316.23,-334.42"/>
371
</g>
383
-<!-- v48 -->
384
-<g id="node49" class="node">
385
-<title>v48</title>
386
-<polygon fill="none" stroke="black" points="5559.86,-480 5104.99,-480 5104.99,-444 5559.86,-444 5559.86,-480"/>
387
-<text text-anchor="middle" x="5332.43" y="-457.8" font-family="Times,serif" font-size="14.00">v48 (mutable item$10 @ JSX <frozen $14>{mutable item$10}</frozen $14>)</text>
372
+<!-- v40->v57 -->
373
+<g id="edge35" class="edge">
374
+<title>v40->v57</title>
375
+<path fill="none" stroke="black" d="M5122.93,-359.97C5159.76,-349.97 5206.47,-337.3 5244.97,-326.85"/>
376
+<polygon fill="black" stroke="black" points="5246.34,-330.11 5255.08,-324.11 5244.51,-323.35 5246.34,-330.11"/>
377
</g>
389
-<!-- v25->v48 -->
390
-<g id="edge51" class="edge">
391
-<title>v25->v48</title>
392
-<path fill="none" stroke="black" d="M5332.43,-532.65C5332.43,-520.52 5332.43,-504.02 5332.43,-490.12"/>
393
-<polygon fill="black" stroke="black" points="5335.93,-490.11 5332.43,-480.11 5328.93,-490.11 5335.93,-490.11"/>
378
+<!-- v57->v14 -->
379
+<g id="edge52" class="edge">
380
+<title>v57->v14</title>
381
+<path fill="none" stroke="black" d="M5322.7,-324.16C5325.31,-348.96 5325.59,-395.1 5323.55,-424.58"/>
382
+<polygon fill="black" stroke="black" points="5320.06,-424.36 5322.7,-434.62 5327.04,-424.95 5320.06,-424.36"/>
383
</g>
395
-<!-- v26->v22 -->
396
-<g id="edge17" class="edge">
397
-<title>v26->v22</title>
398
-<path fill="none" stroke="black" d="M4380.95,-657.73C4387.22,-662.95 4393.56,-669.05 4398.43,-675.6 4403.95,-683.04 4408.41,-692.08 4411.82,-700.51"/>
399
-<polygon fill="black" stroke="black" points="4408.59,-701.85 4415.36,-710 4415.14,-699.41 4408.59,-701.85"/>
400
-<text text-anchor="middle" x="4429.02" y="-679.8" font-family="Times,serif" font-size="14.00">capture</text>
384
+<!-- v44 -->
385
+<g id="node53" class="node">
386
+<title>v44</title>
387
+<polygon fill="none" stroke="black" points="5415.08,-252 4971.21,-252 4971.21,-216 5415.08,-216 5415.08,-252"/>
388
+<text text-anchor="middle" x="5193.14" y="-229.8" font-family="Times,serif" font-size="14.00">v44 (frozen item$10 @ Call mutable seen$5.add(frozen item$10)) <update></text>
389
</g>
402
-<!-- v26->v46 -->
403
-<g id="edge41" class="edge">
404
-<title>v26->v46</title>
405
-<path fill="none" stroke="black" d="M4387.45,-621.45C4412.07,-607.84 4446.67,-588.71 4473.38,-573.94"/>
406
-<polygon fill="black" stroke="black" points="4475.42,-576.81 4482.47,-568.91 4472.03,-570.69 4475.42,-576.81"/>
390
+<!-- v57->v44 -->
391
+<g id="edge51" class="edge">
392
+<title>v57->v44</title>
393
+<path fill="none" stroke="black" d="M5287.57,-287.88C5271.07,-278.64 5250.52,-267.13 5232.81,-257.21"/>
394
+<polygon fill="black" stroke="black" points="5234.28,-254.02 5223.84,-252.19 5230.85,-260.13 5234.28,-254.02"/>
395
</g>
408
-<!-- v27->v8 -->
409
-<g id="edge21" class="edge">
410
-<title>v27->v8</title>
411
-<path fill="none" stroke="black" d="M1394.88,-480.12C1389.76,-485.25 1385.01,-491.32 1382.23,-498 1379.37,-504.89 1379.37,-507.91 1382.23,-514.8 1383.71,-518.35 1385.74,-521.73 1388.09,-524.88"/>
412
-<polygon fill="black" stroke="black" points="1385.67,-527.44 1394.88,-532.68 1390.95,-522.84 1385.67,-527.44"/>
413
-<text text-anchor="middle" x="1403.02" y="-502.2" font-family="Times,serif" font-size="14.00">capture</text>
396
+<!-- v16 -->
397
+<g id="node28" class="node">
398
+<title>v16</title>
399
+<polygon fill="none" stroke="black" points="6035.56,-470.8 5552.73,-470.8 5552.73,-434.8 6035.56,-434.8 6035.56,-470.8"/>
400
+<text text-anchor="middle" x="5794.14" y="-448.6" font-family="Times,serif" font-size="14.00">v16 (frozen $12 @ frozen $12 = Binary frozen item$10 == readonly $11) <assign></text>
401
</g>
415
-<!-- v27->v28 -->
416
-<g id="edge18" class="edge">
417
-<title>v27->v28</title>
418
-<path fill="none" stroke="black" d="M1361.46,-443.95C1314.5,-429.65 1247.36,-409.2 1197.91,-394.14"/>
419
-<polygon fill="black" stroke="black" points="1198.85,-390.77 1188.27,-391.21 1196.81,-397.47 1198.85,-390.77"/>
402
+<!-- v17 -->
403
+<g id="node29" class="node">
404
+<title>v17</title>
405
+<polygon fill="none" stroke="black" points="5979.77,-396 5608.52,-396 5608.52,-360 5979.77,-360 5979.77,-396"/>
406
+<text text-anchor="middle" x="5794.14" y="-373.8" font-family="Times,serif" font-size="14.00">v17 (frozen $12 @ If (frozen $12) then:bb8 else:bb9) <update></text>
407
</g>
421
-<!-- v28->v29 -->
422
-<g id="edge37" class="edge">
423
-<title>v28->v29</title>
424
-<path fill="none" stroke="black" d="M1262.82,-355.15C1376.22,-340.33 1540.12,-318.9 1656.3,-303.72"/>
425
-<polygon fill="black" stroke="black" points="1656.87,-307.17 1666.33,-302.41 1655.96,-300.23 1656.87,-307.17"/>
426
-<text text-anchor="middle" x="1545.02" y="-324.6" font-family="Times,serif" font-size="14.00">capture</text>
408
+<!-- v16->v17 -->
409
+<g id="edge19" class="edge">
410
+<title>v16->v17</title>
411
+<path fill="none" stroke="black" d="M5794.14,-434.55C5794.14,-426.12 5794.14,-415.77 5794.14,-406.3"/>
412
+<polygon fill="black" stroke="black" points="5797.64,-406.13 5794.14,-396.13 5790.64,-406.13 5797.64,-406.13"/>
413
</g>
414
<!-- v38 -->
429
-<g id="node39" class="node">
415
+<g id="node30" class="node">
416
<title>v38</title>
431
-<polygon fill="none" stroke="black" points="1351.85,-302.4 785,-302.4 785,-266.4 1351.85,-266.4 1351.85,-302.4"/>
432
-<text text-anchor="middle" x="1068.43" y="-280.2" font-family="Times,serif" font-size="14.00">v38 (frozen $22 @ frozen $22 = JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>)</text>
433
-</g>
434
-<!-- v28->v38 -->
435
-<g id="edge27" class="edge">
436
-<title>v28->v38</title>
437
-<path fill="none" stroke="black" d="M1127.36,-354.8C1123.73,-344.2 1118.12,-330.75 1110.43,-320.4 1107.54,-316.51 1104.13,-312.78 1100.53,-309.3"/>
438
-<polygon fill="black" stroke="black" points="1102.74,-306.59 1092.95,-302.53 1098.08,-311.81 1102.74,-306.59"/>
439
-<text text-anchor="middle" x="1141.02" y="-324.6" font-family="Times,serif" font-size="14.00">capture</text>
417
+<polygon fill="none" stroke="black" points="5953.8,-324 5634.48,-324 5634.48,-288 5953.8,-288 5953.8,-324"/>
418
+<text text-anchor="middle" x="5794.14" y="-301.8" font-family="Times,serif" font-size="14.00">v38 (frozen $13 @ frozen $13 = frozen $12) <assign></text>
419
</g>
441
-<!-- v39 -->
442
-<g id="node40" class="node">
443
-<title>v39</title>
444
-<polygon fill="none" stroke="black" points="1947.97,-124.8 1180.88,-124.8 1180.88,-88.8 1947.97,-88.8 1947.97,-124.8"/>
445
-<text text-anchor="middle" x="1564.43" y="-102.6" font-family="Times,serif" font-size="14.00">v39 (frozen $22 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
420
+<!-- v17->v38 -->
421
+<g id="edge20" class="edge">
422
+<title>v17->v38</title>
423
+<path fill="none" stroke="black" d="M5794.14,-359.7C5794.14,-351.98 5794.14,-342.71 5794.14,-334.11"/>
424
+<polygon fill="black" stroke="black" points="5797.64,-334.1 5794.14,-324.1 5790.64,-334.1 5797.64,-334.1"/>
425
</g>
447
-<!-- v28->v39 -->
448
-<g id="edge35" class="edge">
449
-<title>v28->v39</title>
450
-<path fill="none" stroke="black" d="M932.29,-355.16C863.24,-344.8 797.79,-328.36 776.43,-302.4 766.26,-290.05 767.29,-279.53 776.43,-266.4 866.87,-136.5 955.81,-176.68 1110.43,-142.8 1141.04,-136.09 1173.07,-130.62 1205.33,-126.17"/>
451
-<polygon fill="black" stroke="black" points="1205.9,-129.62 1215.35,-124.82 1204.97,-122.69 1205.9,-129.62"/>
452
-<text text-anchor="middle" x="825.02" y="-235.8" font-family="Times,serif" font-size="14.00">capture</text>
426
+<!-- v42 -->
427
+<g id="node50" class="node">
428
+<title>v42</title>
429
+<polygon fill="none" stroke="black" points="6197.77,-252 5826.52,-252 5826.52,-216 6197.77,-216 6197.77,-252"/>
430
+<text text-anchor="middle" x="6012.14" y="-229.8" font-family="Times,serif" font-size="14.00">v42 (frozen $13 @ If (frozen $13) then:bb1 else:bb4) <update></text>
431
</g>
454
-<!-- v44 -->
455
-<g id="node45" class="node">
456
-<title>v44</title>
457
-<polygon fill="none" stroke="black" points="2153.62,-213.6 1311.24,-213.6 1311.24,-177.6 2153.62,-177.6 2153.62,-213.6"/>
458
-<text text-anchor="middle" x="1732.43" y="-191.4" font-family="Times,serif" font-size="14.00">v44 (frozen $25 @ frozen $25 = JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
432
+<!-- v38->v42 -->
433
+<g id="edge32" class="edge">
434
+<title>v38->v42</title>
435
+<path fill="none" stroke="black" d="M5847.19,-287.97C5877.92,-278.1 5916.78,-265.62 5949.06,-255.25"/>
436
+<polygon fill="black" stroke="black" points="5950.4,-258.5 5958.86,-252.11 5948.26,-251.84 5950.4,-258.5"/>
437
</g>
460
-<!-- v29->v44 -->
461
-<g id="edge34" class="edge">
462
-<title>v29->v44</title>
463
-<path fill="none" stroke="black" d="M1751.34,-266.33C1744.14,-261.61 1737.62,-255.71 1733.23,-248.4 1728.88,-241.13 1727.62,-232.2 1727.76,-223.81"/>
464
-<polygon fill="black" stroke="black" points="1731.27,-223.89 1728.58,-213.64 1724.29,-223.33 1731.27,-223.89"/>
465
-<text text-anchor="middle" x="1754.02" y="-235.8" font-family="Times,serif" font-size="14.00">capture</text>
438
+<!-- v25 -->
439
+<g id="node33" class="node">
440
+<title>v25</title>
441
+<polygon fill="none" stroke="black" points="1561.63,-36 982.66,-36 982.66,0 1561.63,0 1561.63,-36"/>
442
+<text text-anchor="middle" x="1272.14" y="-13.8" font-family="Times,serif" font-size="14.00">v25 (frozen count$17 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>) <update></text>
443
</g>
467
-<!-- v45 -->
468
-<g id="node46" class="node">
469
-<title>v45</title>
470
-<polygon fill="none" stroke="black" points="1680.25,-36 1448.6,-36 1448.6,0 1680.25,0 1680.25,-36"/>
471
-<text text-anchor="middle" x="1564.43" y="-13.8" font-family="Times,serif" font-size="14.00">v45 (frozen $25 @ Return frozen $25)</text>
444
+<!-- v19->v25 -->
445
+<g id="edge23" class="edge">
446
+<title>v19->v25</title>
447
+<path fill="none" stroke="black" d="M1272.14,-71.7C1272.14,-63.98 1272.14,-54.71 1272.14,-46.11"/>
448
+<polygon fill="black" stroke="black" points="1275.64,-46.1 1272.14,-36.1 1268.64,-46.1 1275.64,-46.1"/>
449
</g>
473
-<!-- v29->v45 -->
474
-<g id="edge40" class="edge">
475
-<title>v29->v45</title>
476
-<path fill="none" stroke="black" d="M1517.08,-266.38C1445.47,-255.99 1369.71,-239.54 1302.43,-213.6 1236.8,-188.29 1204.38,-186.94 1171.43,-124.8 1163.93,-110.66 1161.15,-101.06 1171.43,-88.8 1205.13,-48.58 1336.52,-31.52 1438.2,-24.29"/>
477
-<polygon fill="black" stroke="black" points="1438.52,-27.78 1448.26,-23.6 1438.04,-20.79 1438.52,-27.78"/>
478
-<text text-anchor="middle" x="1216.02" y="-147" font-family="Times,serif" font-size="14.00">capture</text>
450
+<!-- v20 -->
451
+<g id="node34" class="node">
452
+<title>v20</title>
453
+<polygon fill="none" stroke="black" points="6560.83,-470.8 6245.46,-470.8 6245.46,-434.8 6560.83,-434.8 6560.83,-470.8"/>
454
+<text text-anchor="middle" x="6403.14" y="-448.6" font-family="Times,serif" font-size="14.00">v20 (readonly $18 @ readonly $18 = "div") <assign></text>
455
</g>
456
<!-- v30 -->
481
-<g id="node31" class="node">
457
+<g id="node35" class="node">
458
<title>v30</title>
483
-<polygon fill="none" stroke="black" points="5114.86,-822.2 4879.99,-822.2 4879.99,-786.2 5114.86,-786.2 5114.86,-822.2"/>
484
-<text text-anchor="middle" x="4997.43" y="-800" font-family="Times,serif" font-size="14.00">v30 (frozen $18 @ frozen $18 = "div")</text>
459
+<polygon fill="none" stroke="black" points="6808.57,-396 5997.72,-396 5997.72,-360 6808.57,-360 6808.57,-396"/>
460
+<text text-anchor="middle" x="6403.14" y="-373.8" font-family="Times,serif" font-size="14.00">v30 (frozen $18 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
461
+</g>
462
+<!-- v20->v30 -->
463
+<g id="edge24" class="edge">
464
+<title>v20->v30</title>
465
+<path fill="none" stroke="black" d="M6403.14,-434.55C6403.14,-426.12 6403.14,-415.77 6403.14,-406.3"/>
466
+<polygon fill="black" stroke="black" points="6406.64,-406.13 6403.14,-396.13 6399.64,-406.13 6406.64,-406.13"/>
467
+</g>
468
+<!-- v21 -->
469
+<g id="node36" class="node">
470
+<title>v21</title>
471
+<polygon fill="none" stroke="black" points="7348.27,-473.4 7116.02,-473.4 7116.02,-432.2 7348.27,-432.2 7348.27,-473.4"/>
472
+<text text-anchor="middle" x="7232.14" y="-457" font-family="Times,serif" font-size="14.00">v21 (readonly $19 @ readonly $19 = "</text>
473
+<text text-anchor="middle" x="7232.14" y="-440.2" font-family="Times,serif" font-size="14.00">      ") <assign></text>
474
</g>
475
<!-- v31 -->
487
-<g id="node32" class="node">
476
+<g id="node37" class="node">
477
<title>v31</title>
489
-<polygon fill="none" stroke="black" points="5380.97,-746.4 4613.88,-746.4 4613.88,-710.4 5380.97,-710.4 5380.97,-746.4"/>
490
-<text text-anchor="middle" x="4997.43" y="-724.2" font-family="Times,serif" font-size="14.00">v31 (frozen $18 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
478
+<polygon fill="none" stroke="black" points="7637.57,-396 6826.72,-396 6826.72,-360 7637.57,-360 7637.57,-396"/>
479
+<text text-anchor="middle" x="7232.14" y="-373.8" font-family="Times,serif" font-size="14.00">v31 (frozen $19 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
480
</g>
492
-<!-- v30->v31 -->
493
-<g id="edge22" class="edge">
494
-<title>v30->v31</title>
495
-<path fill="none" stroke="black" d="M4997.43,-786.08C4997.43,-777.33 4997.43,-766.46 4997.43,-756.59"/>
496
-<polygon fill="black" stroke="black" points="5000.93,-756.42 4997.43,-746.42 4993.93,-756.42 5000.93,-756.42"/>
481
+<!-- v21->v31 -->
482
+<g id="edge25" class="edge">
483
+<title>v21->v31</title>
484
+<path fill="none" stroke="black" d="M7232.14,-431.91C7232.14,-424.09 7232.14,-414.99 7232.14,-406.56"/>
485
+<polygon fill="black" stroke="black" points="7235.64,-406.39 7232.14,-396.39 7228.64,-406.39 7235.64,-406.39"/>
486
+</g>
487
+<!-- v22 -->
488
+<g id="node38" class="node">
489
+<title>v22</title>
490
+<polygon fill="none" stroke="black" points="8084.94,-470.8 7773.35,-470.8 7773.35,-434.8 8084.94,-434.8 8084.94,-470.8"/>
491
+<text text-anchor="middle" x="7929.14" y="-448.6" font-family="Times,serif" font-size="14.00">v22 (readonly $20 @ readonly $20 = "h1") <assign></text>
492
+</g>
493
+<!-- v24 -->
494
+<g id="node39" class="node">
495
+<title>v24</title>
496
+<polygon fill="none" stroke="black" points="8203.03,-396 7655.26,-396 7655.26,-360 8203.03,-360 8203.03,-396"/>
497
+<text text-anchor="middle" x="7929.14" y="-373.8" font-family="Times,serif" font-size="14.00">v24 (frozen $20 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>) <update></text>
498
+</g>
499
+<!-- v22->v24 -->
500
+<g id="edge26" class="edge">
501
+<title>v22->v24</title>
502
+<path fill="none" stroke="black" d="M7929.14,-434.55C7929.14,-426.12 7929.14,-415.77 7929.14,-406.3"/>
503
+<polygon fill="black" stroke="black" points="7932.64,-406.13 7929.14,-396.13 7925.64,-406.13 7932.64,-406.13"/>
504
+</g>
505
+<!-- v23 -->
506
+<g id="node40" class="node">
507
+<title>v23</title>
508
+<polygon fill="none" stroke="black" points="8661.04,-470.8 8329.25,-470.8 8329.25,-434.8 8661.04,-434.8 8661.04,-470.8"/>
509
+<text text-anchor="middle" x="8495.14" y="-448.6" font-family="Times,serif" font-size="14.00">v23 (readonly $21 @ readonly $21 = " Items") <assign></text>
510
+</g>
511
+<!-- v26 -->
512
+<g id="node41" class="node">
513
+<title>v26</title>
514
+<polygon fill="none" stroke="black" points="8769.03,-396 8221.26,-396 8221.26,-360 8769.03,-360 8769.03,-396"/>
515
+<text text-anchor="middle" x="8495.14" y="-373.8" font-family="Times,serif" font-size="14.00">v26 (frozen $21 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>) <update></text>
516
+</g>
517
+<!-- v23->v26 -->
518
+<g id="edge27" class="edge">
519
+<title>v23->v26</title>
520
+<path fill="none" stroke="black" d="M8495.14,-434.55C8495.14,-426.12 8495.14,-415.77 8495.14,-406.3"/>
521
+<polygon fill="black" stroke="black" points="8498.64,-406.13 8495.14,-396.13 8491.64,-406.13 8498.64,-406.13"/>
522
+</g>
523
+<!-- v27 -->
524
+<g id="node42" class="node">
525
+<title>v27</title>
526
+<polygon fill="none" stroke="black" points="9515.81,-470.8 8868.48,-470.8 8868.48,-434.8 9515.81,-434.8 9515.81,-470.8"/>
527
+<text text-anchor="middle" x="9192.14" y="-448.6" font-family="Times,serif" font-size="14.00">v27 (readonly $22 @ readonly $22 = JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>) <assign></text>
528
</g>
529
<!-- v32 -->
499
-<g id="node33" class="node">
530
+<g id="node43" class="node">
531
<title>v32</title>
501
-<polygon fill="none" stroke="black" points="5886.6,-824.8 5680.26,-824.8 5680.26,-783.6 5886.6,-783.6 5886.6,-824.8"/>
502
-<text text-anchor="middle" x="5783.43" y="-808.4" font-family="Times,serif" font-size="14.00">v32 (frozen $19 @ frozen $19 = "</text>
503
-<text text-anchor="middle" x="5783.43" y="-791.6" font-family="Times,serif" font-size="14.00">      ")</text>
532
+<polygon fill="none" stroke="black" points="9597.57,-396 8786.72,-396 8786.72,-360 9597.57,-360 9597.57,-396"/>
533
+<text text-anchor="middle" x="9192.14" y="-373.8" font-family="Times,serif" font-size="14.00">v32 (frozen $22 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
534
+</g>
535
+<!-- v27->v32 -->
536
+<g id="edge28" class="edge">
537
+<title>v27->v32</title>
538
+<path fill="none" stroke="black" d="M9192.14,-434.55C9192.14,-426.12 9192.14,-415.77 9192.14,-406.3"/>
539
+<polygon fill="black" stroke="black" points="9195.64,-406.13 9192.14,-396.13 9188.64,-406.13 9195.64,-406.13"/>
540
+</g>
541
+<!-- v28 -->
542
+<g id="node44" class="node">
543
+<title>v28</title>
544
+<polygon fill="none" stroke="black" points="10137.27,-473.4 9905.02,-473.4 9905.02,-432.2 10137.27,-432.2 10137.27,-473.4"/>
545
+<text text-anchor="middle" x="10021.14" y="-457" font-family="Times,serif" font-size="14.00">v28 (readonly $23 @ readonly $23 = "</text>
546
+<text text-anchor="middle" x="10021.14" y="-440.2" font-family="Times,serif" font-size="14.00">      ") <assign></text>
547
</g>
548
<!-- v33 -->
506
-<g id="node34" class="node">
549
+<g id="node45" class="node">
550
<title>v33</title>
508
-<polygon fill="none" stroke="black" points="6166.97,-746.4 5399.88,-746.4 5399.88,-710.4 6166.97,-710.4 6166.97,-746.4"/>
509
-<text text-anchor="middle" x="5783.43" y="-724.2" font-family="Times,serif" font-size="14.00">v33 (frozen $19 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
551
+<polygon fill="none" stroke="black" points="10426.57,-396 9615.72,-396 9615.72,-360 10426.57,-360 10426.57,-396"/>
552
+<text text-anchor="middle" x="10021.14" y="-373.8" font-family="Times,serif" font-size="14.00">v33 (frozen $23 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
553
</g>
511
-<!-- v32->v33 -->
512
-<g id="edge23" class="edge">
513
-<title>v32->v33</title>
514
-<path fill="none" stroke="black" d="M5783.43,-783.42C5783.43,-775.29 5783.43,-765.73 5783.43,-756.93"/>
515
-<polygon fill="black" stroke="black" points="5786.93,-756.72 5783.43,-746.72 5779.93,-756.72 5786.93,-756.72"/>
554
+<!-- v28->v33 -->
555
+<g id="edge29" class="edge">
556
+<title>v28->v33</title>
557
+<path fill="none" stroke="black" d="M10021.14,-431.91C10021.14,-424.09 10021.14,-414.99 10021.14,-406.56"/>
558
+<polygon fill="black" stroke="black" points="10024.64,-406.39 10021.14,-396.39 10017.64,-406.39 10024.64,-406.39"/>
559
</g>
517
-<!-- v34 -->
518
-<g id="node35" class="node">
519
-<title>v34</title>
520
-<polygon fill="none" stroke="black" points="6545.47,-822.2 6315.38,-822.2 6315.38,-786.2 6545.47,-786.2 6545.47,-822.2"/>
521
-<text text-anchor="middle" x="6430.43" y="-800" font-family="Times,serif" font-size="14.00">v34 (frozen $20 @ frozen $20 = "h1")</text>
560
+<!-- v29 -->
561
+<g id="node46" class="node">
562
+<title>v29</title>
563
+<polygon fill="none" stroke="black" points="10966.27,-473.4 10734.02,-473.4 10734.02,-432.2 10966.27,-432.2 10966.27,-473.4"/>
564
+<text text-anchor="middle" x="10850.14" y="-457" font-family="Times,serif" font-size="14.00">v29 (readonly $24 @ readonly $24 = "</text>
565
+<text text-anchor="middle" x="10850.14" y="-440.2" font-family="Times,serif" font-size="14.00">    ") <assign></text>
566
</g>
567
<!-- v35 -->
524
-<g id="node36" class="node">
568
+<g id="node47" class="node">
569
<title>v35</title>
526
-<polygon fill="none" stroke="black" points="6676.2,-746.4 6184.65,-746.4 6184.65,-710.4 6676.2,-710.4 6676.2,-746.4"/>
527
-<text text-anchor="middle" x="6430.43" y="-724.2" font-family="Times,serif" font-size="14.00">v35 (frozen $20 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>)</text>
570
+<polygon fill="none" stroke="black" points="11255.57,-396 10444.72,-396 10444.72,-360 11255.57,-360 11255.57,-396"/>
571
+<text text-anchor="middle" x="10850.14" y="-373.8" font-family="Times,serif" font-size="14.00">v35 (frozen $24 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <update></text>
572
</g>
529
-<!-- v34->v35 -->
530
-<g id="edge24" class="edge">
531
-<title>v34->v35</title>
532
-<path fill="none" stroke="black" d="M6430.43,-786.08C6430.43,-777.33 6430.43,-766.46 6430.43,-756.59"/>
533
-<polygon fill="black" stroke="black" points="6433.93,-756.42 6430.43,-746.42 6426.93,-756.42 6433.93,-756.42"/>
573
+<!-- v29->v35 -->
574
+<g id="edge30" class="edge">
575
+<title>v29->v35</title>
576
+<path fill="none" stroke="black" d="M10850.14,-431.91C10850.14,-424.09 10850.14,-414.99 10850.14,-406.56"/>
577
+<polygon fill="black" stroke="black" points="10853.64,-406.39 10850.14,-396.39 10846.64,-406.39 10853.64,-406.39"/>
578
</g>
579
<!-- v36 -->
536
-<g id="node37" class="node">
580
+<g id="node48" class="node">
581
<title>v36</title>
538
-<polygon fill="none" stroke="black" points="7065.08,-822.2 6813.78,-822.2 6813.78,-786.2 7065.08,-786.2 7065.08,-822.2"/>
539
-<text text-anchor="middle" x="6939.43" y="-800" font-family="Times,serif" font-size="14.00">v36 (frozen $21 @ frozen $21 = " Items")</text>
582
+<polygon fill="none" stroke="black" points="11894.35,-470.8 10983.94,-470.8 10983.94,-434.8 11894.35,-434.8 11894.35,-470.8"/>
583
+<text text-anchor="middle" x="11439.14" y="-448.6" font-family="Times,serif" font-size="14.00">v36 (readonly $25 @ readonly $25 = JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{frozen renderedItems$4}{frozen $24}</frozen $18>) <assign></text>
584
</g>
585
<!-- v37 -->
542
-<g id="node38" class="node">
586
+<g id="node49" class="node">
587
<title>v37</title>
544
-<polygon fill="none" stroke="black" points="7185.2,-746.4 6693.65,-746.4 6693.65,-710.4 7185.2,-710.4 7185.2,-746.4"/>
545
-<text text-anchor="middle" x="6939.43" y="-724.2" font-family="Times,serif" font-size="14.00">v37 (frozen $21 @ JSX <frozen $20>{frozen count$17}{frozen $21}</frozen $20>)</text>
588
+<polygon fill="none" stroke="black" points="11583.58,-396 11294.71,-396 11294.71,-360 11583.58,-360 11583.58,-396"/>
589
+<text text-anchor="middle" x="11439.14" y="-373.8" font-family="Times,serif" font-size="14.00">v37 (frozen $25 @ Return frozen $25) <update></text>
590
</g>
591
<!-- v36->v37 -->
548
-<g id="edge25" class="edge">
592
+<g id="edge31" class="edge">
593
<title>v36->v37</title>
550
-<path fill="none" stroke="black" d="M6939.43,-786.08C6939.43,-777.33 6939.43,-766.46 6939.43,-756.59"/>
551
-<polygon fill="black" stroke="black" points="6942.93,-756.42 6939.43,-746.42 6935.93,-756.42 6942.93,-756.42"/>
552
-</g>
553
-<!-- v38->v28 -->
554
-<g id="edge29" class="edge">
555
-<title>v38->v28</title>
556
-<path fill="none" stroke="black" d="M1062.68,-302.45C1060.14,-313.17 1058.97,-326.88 1065.23,-337.2 1067.94,-341.65 1071.41,-345.57 1075.35,-349"/>
557
-<polygon fill="black" stroke="black" points="1073.33,-351.86 1083.44,-355.03 1077.51,-346.25 1073.33,-351.86"/>
558
-<text text-anchor="middle" x="1086.02" y="-324.6" font-family="Times,serif" font-size="14.00">capture</text>
559
-</g>
560
-<!-- v38->v39 -->
561
-<g id="edge26" class="edge">
562
-<title>v38->v39</title>
563
-<path fill="none" stroke="black" d="M1070.43,-266.04C1074.97,-235.39 1089.11,-172.17 1130.43,-142.8 1140.02,-135.98 1170.61,-130.41 1211.43,-125.88"/>
564
-<polygon fill="black" stroke="black" points="1211.86,-129.36 1221.43,-124.81 1211.12,-122.4 1211.86,-129.36"/>
565
-</g>
566
-<!-- v39->v44 -->
567
-<g id="edge33" class="edge">
568
-<title>v39->v44</title>
569
-<path fill="none" stroke="black" d="M1590.55,-124.88C1607.27,-135.49 1629.63,-149.06 1650.23,-159.6 1659.65,-164.42 1669.89,-169.15 1679.83,-173.51"/>
570
-<polygon fill="black" stroke="black" points="1678.67,-176.82 1689.24,-177.55 1681.44,-170.39 1678.67,-176.82"/>
571
-<text text-anchor="middle" x="1671.02" y="-147" font-family="Times,serif" font-size="14.00">capture</text>
572
-</g>
573
-<!-- v39->v45 -->
574
-<g id="edge39" class="edge">
575
-<title>v39->v45</title>
576
-<path fill="none" stroke="black" d="M1564.43,-88.65C1564.43,-76.52 1564.43,-60.02 1564.43,-46.12"/>
577
-<polygon fill="black" stroke="black" points="1567.93,-46.11 1564.43,-36.11 1560.93,-46.11 1567.93,-46.11"/>
578
-<text text-anchor="middle" x="1585.02" y="-58.2" font-family="Times,serif" font-size="14.00">capture</text>
579
-</g>
580
-<!-- v40 -->
581
-<g id="node41" class="node">
582
-<title>v40</title>
583
-<polygon fill="none" stroke="black" points="7689.6,-824.8 7483.26,-824.8 7483.26,-783.6 7689.6,-783.6 7689.6,-824.8"/>
584
-<text text-anchor="middle" x="7586.43" y="-808.4" font-family="Times,serif" font-size="14.00">v40 (frozen $23 @ frozen $23 = "</text>
585
-<text text-anchor="middle" x="7586.43" y="-791.6" font-family="Times,serif" font-size="14.00">      ")</text>
594
+<path fill="none" stroke="black" d="M11439.14,-434.55C11439.14,-426.12 11439.14,-415.77 11439.14,-406.3"/>
595
+<polygon fill="black" stroke="black" points="11442.64,-406.13 11439.14,-396.13 11435.64,-406.13 11442.64,-406.13"/>
596
</g>
597
<!-- v41 -->
588
-<g id="node42" class="node">
598
+<g id="node51" class="node">
599
<title>v41</title>
590
-<polygon fill="none" stroke="black" points="7969.97,-746.4 7202.88,-746.4 7202.88,-710.4 7969.97,-710.4 7969.97,-746.4"/>
591
-<text text-anchor="middle" x="7586.43" y="-724.2" font-family="Times,serif" font-size="14.00">v41 (frozen $23 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
592
-</g>
593
-<!-- v40->v41 -->
594
-<g id="edge30" class="edge">
595
-<title>v40->v41</title>
596
-<path fill="none" stroke="black" d="M7586.43,-783.42C7586.43,-775.29 7586.43,-765.73 7586.43,-756.93"/>
597
-<polygon fill="black" stroke="black" points="7589.93,-756.72 7586.43,-746.72 7582.93,-756.72 7589.93,-756.72"/>
598
-</g>
599
-<!-- v42 -->
600
-<g id="node43" class="node">
601
-<title>v42</title>
602
-<polygon fill="none" stroke="black" points="8475.6,-824.8 8269.26,-824.8 8269.26,-783.6 8475.6,-783.6 8475.6,-824.8"/>
603
-<text text-anchor="middle" x="8372.43" y="-808.4" font-family="Times,serif" font-size="14.00">v42 (frozen $24 @ frozen $24 = "</text>
604
-<text text-anchor="middle" x="8372.43" y="-791.6" font-family="Times,serif" font-size="14.00">    ")</text>
605
-</g>
606
-<!-- v43 -->
607
-<g id="node44" class="node">
608
-<title>v43</title>
609
-<polygon fill="none" stroke="black" points="8755.97,-746.4 7988.88,-746.4 7988.88,-710.4 8755.97,-710.4 8755.97,-746.4"/>
610
-<text text-anchor="middle" x="8372.43" y="-724.2" font-family="Times,serif" font-size="14.00">v43 (frozen $24 @ JSX <frozen $18>{frozen $19}{frozen $22}{frozen $23}{readonly renderedItems$4}{frozen $24}</frozen $18>)</text>
600
+<polygon fill="none" stroke="black" points="6488.43,-324 5971.86,-324 5971.86,-288 6488.43,-288 6488.43,-324"/>
601
+<text text-anchor="middle" x="6230.14" y="-301.8" font-family="Times,serif" font-size="14.00">v41 (readonly $13 @ readonly $13 = Call mutable seen$5.has(frozen item$10)) <assign></text>
602
</g>
612
-<!-- v42->v43 -->
613
-<g id="edge31" class="edge">
614
-<title>v42->v43</title>
615
-<path fill="none" stroke="black" d="M8372.43,-783.42C8372.43,-775.29 8372.43,-765.73 8372.43,-756.93"/>
616
-<polygon fill="black" stroke="black" points="8375.93,-756.72 8372.43,-746.72 8368.93,-756.72 8375.93,-756.72"/>
603
+<!-- v41->v42 -->
604
+<g id="edge36" class="edge">
605
+<title>v41->v42</title>
606
+<path fill="none" stroke="black" d="M6177.09,-287.97C6146.37,-278.1 6107.51,-265.62 6075.22,-255.25"/>
607
+<polygon fill="black" stroke="black" points="6076.02,-251.84 6065.43,-252.11 6073.88,-258.5 6076.02,-251.84"/>
608
</g>
618
-<!-- v44->v29 -->
609
+<!-- v43->v56 -->
610
<g id="edge38" class="edge">
620
-<title>v44->v29</title>
621
-<path fill="none" stroke="black" d="M1756.95,-213.73C1763.22,-218.95 1769.56,-225.05 1774.43,-231.6 1779.95,-239.04 1784.41,-248.08 1787.82,-256.51"/>
622
-<polygon fill="black" stroke="black" points="1784.59,-257.85 1791.36,-266 1791.14,-255.41 1784.59,-257.85"/>
623
-<text text-anchor="middle" x="1805.02" y="-235.8" font-family="Times,serif" font-size="14.00">capture</text>
624
-</g>
625
-<!-- v44->v39 -->
626
-<g id="edge36" class="edge">
627
-<title>v44->v39</title>
628
-<path fill="none" stroke="black" d="M1722.74,-177.3C1715.51,-165.91 1704.62,-151.54 1691.43,-142.8 1682.9,-137.15 1673.48,-132.41 1663.74,-128.43"/>
629
-<polygon fill="black" stroke="black" points="1664.91,-125.13 1654.32,-124.84 1662.41,-131.67 1664.91,-125.13"/>
630
-<text text-anchor="middle" x="1730.02" y="-147" font-family="Times,serif" font-size="14.00">capture</text>
611
+<title>v43->v56</title>
612
+<path fill="none" stroke="black" d="M2236.04,-252.1C2236.84,-259.79 2237.08,-269.05 2236.75,-277.67"/>
613
+<polygon fill="black" stroke="black" points="2233.25,-277.48 2236.06,-287.7 2240.24,-277.96 2233.25,-277.48"/>
614
</g>
632
-<!-- v44->v45 -->
633
-<g id="edge32" class="edge">
634
-<title>v44->v45</title>
635
-<path fill="none" stroke="black" d="M1853.45,-177.57C1925.57,-162.32 1996.17,-135.03 1957.43,-88.8 1923.72,-48.58 1792.34,-31.52 1690.65,-24.29"/>
636
-<polygon fill="black" stroke="black" points="1690.82,-20.79 1680.6,-23.6 1690.34,-27.78 1690.82,-20.79"/>
615
+<!-- v43->v59 -->
616
+<g id="edge37" class="edge">
617
+<title>v43->v59</title>
618
+<path fill="none" stroke="black" d="M2296.33,-215.97C2335.41,-205.91 2385.04,-193.14 2425.77,-182.65"/>
619
+<polygon fill="black" stroke="black" points="2426.84,-185.99 2435.66,-180.11 2425.1,-179.21 2426.84,-185.99"/>
620
</g>
638
-<!-- v47->v24 -->
639
-<g id="edge47" class="edge">
640
-<title>v47->v24</title>
641
-<path fill="none" stroke="black" d="M4821.68,-621.55C4819.14,-610.83 4817.97,-597.12 4824.23,-586.8 4826.94,-582.35 4830.41,-578.43 4834.35,-575"/>
642
-<polygon fill="black" stroke="black" points="4836.51,-577.75 4842.44,-568.97 4832.33,-572.14 4836.51,-577.75"/>
643
-<text text-anchor="middle" x="4845.02" y="-591" font-family="Times,serif" font-size="14.00">capture</text>
621
+<!-- v47 -->
622
+<g id="node54" class="node">
623
+<title>v47</title>
624
+<polygon fill="none" stroke="black" points="5564.5,-180 5071.79,-180 5071.79,-144 5564.5,-144 5564.5,-180"/>
625
+<text text-anchor="middle" x="5318.14" y="-157.8" font-family="Times,serif" font-size="14.00">v47 (frozen item$10 @ JSX <frozen $14>{frozen item$10}</frozen $14>) <update></text>
626
</g>
645
-<!-- v47->v46 -->
646
-<g id="edge43" class="edge">
647
-<title>v47->v46</title>
648
-<path fill="none" stroke="black" d="M4765.77,-621.55C4713.81,-607.19 4639.44,-586.63 4584.89,-571.56"/>
649
-<polygon fill="black" stroke="black" points="4585.52,-568.1 4574.95,-568.81 4583.65,-574.84 4585.52,-568.1"/>
627
+<!-- v44->v47 -->
628
+<g id="edge39" class="edge">
629
+<title>v44->v47</title>
630
+<path fill="none" stroke="black" d="M5223.72,-215.88C5240.22,-206.64 5260.77,-195.13 5278.48,-185.21"/>
631
+<polygon fill="black" stroke="black" points="5280.43,-188.13 5287.45,-180.19 5277.01,-182.02 5280.43,-188.13"/>
632
</g>
651
-<!-- v51 -->
652
-<g id="node52" class="node">
653
-<title>v51</title>
654
-<polygon fill="none" stroke="black" points="5525.47,-391.2 5011.38,-391.2 5011.38,-355.2 5525.47,-355.2 5525.47,-391.2"/>
655
-<text text-anchor="middle" x="5268.43" y="-369" font-family="Times,serif" font-size="14.00">v51 (mutable $15 @ mutable $15 = JSX <frozen $14>{mutable item$10}</frozen $14>)</text>
633
+<!-- v47->v57 -->
634
+<g id="edge41" class="edge">
635
+<title>v47->v57</title>
636
+<path fill="none" stroke="black" d="M5379.55,-180.05C5396.98,-188.03 5413.98,-199.55 5424.14,-216 5432.56,-229.61 5432.56,-238.39 5424.14,-252 5415.8,-265.5 5402.87,-275.67 5388.87,-283.3"/>
637
+<polygon fill="black" stroke="black" points="5386.93,-280.35 5379.55,-287.95 5390.06,-286.62 5386.93,-280.35"/>
638
</g>
657
-<!-- v48->v51 -->
658
-<g id="edge54" class="edge">
659
-<title>v48->v51</title>
660
-<path fill="none" stroke="black" d="M5287.34,-443.93C5280.14,-439.21 5273.62,-433.31 5269.23,-426 5264.88,-418.73 5263.62,-409.8 5263.76,-401.41"/>
661
-<polygon fill="black" stroke="black" points="5267.27,-401.49 5264.58,-391.24 5260.29,-400.93 5267.27,-401.49"/>
662
-<text text-anchor="middle" x="5290.02" y="-413.4" font-family="Times,serif" font-size="14.00">capture</text>
639
+<!-- v45 -->
640
+<g id="node55" class="node">
641
+<title>v45</title>
642
+<polygon fill="none" stroke="black" points="12227.83,-470.8 11912.46,-470.8 11912.46,-434.8 12227.83,-434.8 12227.83,-470.8"/>
643
+<text text-anchor="middle" x="12070.14" y="-448.6" font-family="Times,serif" font-size="14.00">v45 (readonly $14 @ readonly $14 = "div") <assign></text>
644
</g>
664
-<!-- v52 -->
665
-<g id="node53" class="node">
666
-<title>v52</title>
667
-<polygon fill="none" stroke="black" points="5690.11,-302.4 5272.75,-302.4 5272.75,-266.4 5690.11,-266.4 5690.11,-302.4"/>
668
-<text text-anchor="middle" x="5481.43" y="-280.2" font-family="Times,serif" font-size="14.00">v52 (mutable $15 @ Call mutable renderedItems$4.push(mutable $15))</text>
645
+<!-- v46 -->
646
+<g id="node56" class="node">
647
+<title>v46</title>
648
+<polygon fill="none" stroke="black" points="12304.12,-396 11836.17,-396 11836.17,-360 12304.12,-360 12304.12,-396"/>
649
+<text text-anchor="middle" x="12070.14" y="-373.8" font-family="Times,serif" font-size="14.00">v46 (frozen $14 @ JSX <frozen $14>{frozen item$10}</frozen $14>) <update></text>
650
</g>
670
-<!-- v48->v52 -->
671
-<g id="edge57" class="edge">
672
-<title>v48->v52</title>
673
-<path fill="none" stroke="black" d="M5456.86,-443.92C5487.04,-433.59 5515.91,-417.19 5534.43,-391.2 5552.96,-365.19 5529.45,-331.77 5508.12,-309.52"/>
674
-<polygon fill="black" stroke="black" points="5510.58,-307.02 5501.03,-302.42 5505.63,-311.97 5510.58,-307.02"/>
675
-<text text-anchor="middle" x="5562.02" y="-369" font-family="Times,serif" font-size="14.00">capture</text>
651
+<!-- v45->v46 -->
652
+<g id="edge40" class="edge">
653
+<title>v45->v46</title>
654
+<path fill="none" stroke="black" d="M12070.14,-434.55C12070.14,-426.12 12070.14,-415.77 12070.14,-406.3"/>
655
+<polygon fill="black" stroke="black" points="12073.64,-406.13 12070.14,-396.13 12066.64,-406.13 12073.64,-406.13"/>
656
</g>
677
-<!-- v49 -->
678
-<g id="node50" class="node">
679
-<title>v49</title>
680
-<polygon fill="none" stroke="black" points="9101.86,-822.2 8866.99,-822.2 8866.99,-786.2 9101.86,-786.2 9101.86,-822.2"/>
681
-<text text-anchor="middle" x="8984.43" y="-800" font-family="Times,serif" font-size="14.00">v49 (frozen $14 @ frozen $14 = "div")</text>
657
+<!-- v48 -->
658
+<g id="node57" class="node">
659
+<title>v48</title>
660
+<polygon fill="none" stroke="black" points="12842.9,-470.8 12275.39,-470.8 12275.39,-434.8 12842.9,-434.8 12842.9,-470.8"/>
661
+<text text-anchor="middle" x="12559.14" y="-448.6" font-family="Times,serif" font-size="14.00">v48 (readonly $15 @ readonly $15 = JSX <frozen $14>{frozen item$10}</frozen $14>) <assign></text>
662
</g>
663
<!-- v50 -->
684
-<g id="node51" class="node">
664
+<g id="node58" class="node">
665
<title>v50</title>
686
-<polygon fill="none" stroke="black" points="9194.64,-746.4 8774.22,-746.4 8774.22,-710.4 9194.64,-710.4 9194.64,-746.4"/>
687
-<text text-anchor="middle" x="8984.43" y="-724.2" font-family="Times,serif" font-size="14.00">v50 (frozen $14 @ JSX <frozen $14>{mutable item$10}</frozen $14>)</text>
666
+<polygon fill="none" stroke="black" points="12796.43,-396 12321.86,-396 12321.86,-360 12796.43,-360 12796.43,-396"/>
667
+<text text-anchor="middle" x="12559.14" y="-373.8" font-family="Times,serif" font-size="14.00">v50 (mutable $15 @ Call mutable renderedItems$4.push(mutable $15)) <update></text>
668
</g>
689
-<!-- v49->v50 -->
690
-<g id="edge52" class="edge">
691
-<title>v49->v50</title>
692
-<path fill="none" stroke="black" d="M8984.43,-786.08C8984.43,-777.33 8984.43,-766.46 8984.43,-756.59"/>
693
-<polygon fill="black" stroke="black" points="8987.93,-756.42 8984.43,-746.42 8980.93,-756.42 8987.93,-756.42"/>
669
+<!-- v48->v50 -->
670
+<g id="edge42" class="edge">
671
+<title>v48->v50</title>
672
+<path fill="none" stroke="black" d="M12559.14,-434.55C12559.14,-426.12 12559.14,-415.77 12559.14,-406.3"/>
673
+<polygon fill="black" stroke="black" points="12562.64,-406.13 12559.14,-396.13 12555.64,-406.13 12562.64,-406.13"/>
674
</g>
695
-<!-- v51->v48 -->
696
-<g id="edge55" class="edge">
697
-<title>v51->v48</title>
698
-<path fill="none" stroke="black" d="M5292.95,-391.33C5299.22,-396.55 5305.56,-402.65 5310.43,-409.2 5315.95,-416.64 5320.41,-425.68 5323.82,-434.11"/>
699
-<polygon fill="black" stroke="black" points="5320.59,-435.45 5327.36,-443.6 5327.14,-433.01 5320.59,-435.45"/>
700
-<text text-anchor="middle" x="5341.02" y="-413.4" font-family="Times,serif" font-size="14.00">capture</text>
675
+<!-- v51->v18 -->
676
+<g id="edge44" class="edge">
677
+<title>v51->v18</title>
678
+<path fill="none" stroke="black" d="M1428.73,-287.84C1448.1,-268.51 1481.76,-237.06 1515.14,-216 1534.99,-203.48 1558.31,-192.5 1579.14,-183.83"/>
679
+<polygon fill="black" stroke="black" points="1580.58,-187.03 1588.52,-180.01 1577.94,-180.54 1580.58,-187.03"/>
680
</g>
702
-<!-- v51->v52 -->
703
-<g id="edge53" class="edge">
704
-<title>v51->v52</title>
705
-<path fill="none" stroke="black" d="M5310.26,-355.15C5344.62,-341.15 5393.45,-321.25 5430.16,-306.29"/>
706
-<polygon fill="black" stroke="black" points="5431.76,-309.42 5439.7,-302.41 5429.11,-302.94 5431.76,-309.42"/>
707
-</g>
708
-<!-- v53->v8 -->
709
-<g id="edge59" class="edge">
710
-<title>v53->v8</title>
711
-<path fill="none" stroke="black" d="M1607.08,-621.55C1568.68,-607.43 1513.99,-587.31 1473.19,-572.31"/>
712
-<polygon fill="black" stroke="black" points="1474.26,-568.97 1463.67,-568.81 1471.84,-575.54 1474.26,-568.97"/>
713
-</g>
714
-<!-- v53->v9 -->
715
-<g id="edge60" class="edge">
716
-<title>v53->v9</title>
717
-<path fill="none" stroke="black" d="M1658.93,-657.71C1660.25,-669.83 1660.53,-686.34 1659.74,-700.24"/>
718
-<polygon fill="black" stroke="black" points="1656.25,-700 1658.93,-710.25 1663.22,-700.56 1656.25,-700"/>
681
+<!-- v51->v62 -->
682
+<g id="edge45" class="edge">
683
+<title>v51->v62</title>
684
+<path fill="none" stroke="black" d="M1466.65,-287.97C1498.36,-278.06 1538.5,-265.51 1571.76,-255.12"/>
685
+<polygon fill="black" stroke="black" points="1572.89,-258.43 1581.39,-252.11 1570.8,-251.75 1572.89,-258.43"/>
686
+</g>
687
+<!-- v51->v71 -->
688
+<g id="edge46" class="edge">
689
+<title>v51->v71</title>
690
+<path fill="none" stroke="black" d="M1326,-287.97C1274.07,-277.7 1207.84,-264.6 1154.23,-254"/>
691
+<polygon fill="black" stroke="black" points="1154.86,-250.56 1144.37,-252.05 1153.5,-257.42 1154.86,-250.56"/>
692
+</g>
693
+<!-- v53 -->
694
+<g id="node60" class="node">
695
+<title>v53</title>
696
+<polygon fill="none" stroke="black" points="13460.07,-470.8 12860.22,-470.8 12860.22,-434.8 13460.07,-434.8 13460.07,-470.8"/>
697
+<text text-anchor="middle" x="13160.14" y="-448.6" font-family="Times,serif" font-size="14.00">v53 (frozen $16 @ frozen $16 = Binary readonly renderedItems$4.length >= readonly max$7) <assign></text>
698
</g>
699
<!-- v54 -->
721
-<g id="node55" class="node">
700
+<g id="node61" class="node">
701
<title>v54</title>
723
-<polygon fill="none" stroke="black" points="9647.45,-822.2 9119.4,-822.2 9119.4,-786.2 9647.45,-786.2 9647.45,-822.2"/>
724
-<text text-anchor="middle" x="9383.43" y="-800" font-family="Times,serif" font-size="14.00">v54 (frozen $16 @ frozen $16 = Binary mutable renderedItems$4.length >= frozen max$7)</text>
702
+<polygon fill="none" stroke="black" points="13345.77,-396 12974.52,-396 12974.52,-360 13345.77,-360 13345.77,-396"/>
703
+<text text-anchor="middle" x="13160.14" y="-373.8" font-family="Times,serif" font-size="14.00">v54 (frozen $16 @ If (frozen $16) then:bb2 else:bb1) <update></text>
704
+</g>
705
+<!-- v53->v54 -->
706
+<g id="edge48" class="edge">
707
+<title>v53->v54</title>
708
+<path fill="none" stroke="black" d="M13160.14,-434.55C13160.14,-426.12 13160.14,-415.77 13160.14,-406.3"/>
709
+<polygon fill="black" stroke="black" points="13163.64,-406.13 13160.14,-396.13 13156.64,-406.13 13163.64,-406.13"/>
710
</g>
711
<!-- v55 -->
727
-<g id="node56" class="node">
712
+<g id="node62" class="node">
713
<title>v55</title>
729
-<polygon fill="none" stroke="black" points="9540.95,-746.4 9225.91,-746.4 9225.91,-710.4 9540.95,-710.4 9540.95,-746.4"/>
730
-<text text-anchor="middle" x="9383.43" y="-724.2" font-family="Times,serif" font-size="14.00">v55 (frozen $16 @ If (frozen $16) then:bb2 else:bb1)</text>
731
-</g>
732
-<!-- v54->v55 -->
733
-<g id="edge58" class="edge">
734
-<title>v54->v55</title>
735
-<path fill="none" stroke="black" d="M9383.43,-786.08C9383.43,-777.33 9383.43,-766.46 9383.43,-756.59"/>
736
-<polygon fill="black" stroke="black" points="9386.93,-756.42 9383.43,-746.42 9379.93,-756.42 9386.93,-756.42"/>
714
+<polygon fill="none" stroke="black" points="567.86,-470.8 300.43,-470.8 300.43,-434.8 567.86,-434.8 567.86,-470.8"/>
715
+<text text-anchor="middle" x="434.14" y="-448.6" font-family="Times,serif" font-size="14.00">v55 (frozen props$1 @ <no-instr>) <assign></text>
716
+</g>
717
+<!-- v55->v0 -->
718
+<g id="edge49" class="edge">
719
+<title>v55->v0</title>
720
+<path fill="none" stroke="black" d="M434.14,-434.55C434.14,-426.12 434.14,-415.77 434.14,-406.3"/>
721
+<polygon fill="black" stroke="black" points="437.64,-406.13 434.14,-396.13 430.64,-406.13 437.64,-406.13"/>
722
</g>
723
</g>
724
</svg>