1
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
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"/>
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>
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>
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"/>
41
+</g>
42
+<!-- v2 -->
43
+<g id="node3" class="node">
44
+<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>
47
+</g>
48
+<!-- v3 -->
49
+<g id="node4" class="node">
50
+<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>
53
+</g>
54
+<!-- v2->v3 -->
55
+<g id="edge2" class="edge">
56
+<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"/>
65
+</g>
66
+<!-- v5 -->
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>
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>
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"/>
83
+</g>
84
+<!-- v7 -->
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>
89
+</g>
90
+<!-- v8 -->
91
+<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>
95
+</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"/>
101
+</g>
102
+<!-- v9 -->
103
+<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>
107
+</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"/>
113
+</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>
119
+</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
+</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
+</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>
139
+</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>
145
+</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"/>
151
+</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>
157
+</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"/>
163
+</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>
169
+</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>
175
+</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"/>
181
+</g>
182
+<!-- v12 -->
183
+<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>
187
+</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"/>
193
+</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"/>
199
+</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"/>
205
+</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"/>
211
+</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>
217
+</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>
223
+</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>
229
+</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"/>
235
+</g>
236
+<!-- v16 -->
237
+<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>
241
+</g>
242
+<!-- v17 -->
243
+<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"/>
253
+</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"/>
259
+</g>
260
+<!-- v18 -->
261
+<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>
265
+</g>
266
+<!-- v19 -->
267
+<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>
271
+</g>
272
+<!-- v20 -->
273
+<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>
277
+</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"/>
283
+</g>
284
+<!-- v21 -->
285
+<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>
295
+</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>
313
+</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>
320
+</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>
326
+</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>
333
+</g>
334
+<!-- v23 -->
335
+<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>
339
+</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>
345
+</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"/>
351
+</g>
352
+<!-- v25 -->
353
+<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"/>
363
+</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"/>
369
+</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>
375
+</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>
382
+</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>
388
+</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"/>
394
+</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>
401
+</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"/>
407
+</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>
414
+</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"/>
420
+</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>
427
+</g>
428
+<!-- v38 -->
429
+<g id="node39" class="node">
430
+<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>
440
+</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>
446
+</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>
453
+</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>
459
+</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>
466
+</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>
472
+</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>
479
+</g>
480
+<!-- v30 -->
481
+<g id="node31" class="node">
482
+<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>
485
+</g>
486
+<!-- v31 -->
487
+<g id="node32" class="node">
488
+<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>
491
+</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"/>
497
+</g>
498
+<!-- v32 -->
499
+<g id="node33" class="node">
500
+<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>
504
+</g>
505
+<!-- v33 -->
506
+<g id="node34" class="node">
507
+<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>
510
+</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"/>
516
+</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>
522
+</g>
523
+<!-- v35 -->
524
+<g id="node36" class="node">
525
+<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>
528
+</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"/>
534
+</g>
535
+<!-- v36 -->
536
+<g id="node37" class="node">
537
+<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>
540
+</g>
541
+<!-- v37 -->
542
+<g id="node38" class="node">
543
+<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>
546
+</g>
547
+<!-- v36->v37 -->
548
+<g id="edge25" class="edge">
549
+<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>
586
+</g>
587
+<!-- v41 -->
588
+<g id="node42" class="node">
589
+<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>
611
+</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"/>
617
+</g>
618
+<!-- v44->v29 -->
619
+<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>
631
+</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"/>
637
+</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>
644
+</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"/>
650
+</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>
656
+</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>
663
+</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>
669
+</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>
676
+</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>
682
+</g>
683
+<!-- v50 -->
684
+<g id="node51" class="node">
685
+<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>
688
+</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"/>
694
+</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>
701
+</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"/>
719
+</g>
720
+<!-- v54 -->
721
+<g id="node55" class="node">
722
+<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>
725
+</g>
726
+<!-- v55 -->
727
+<g id="node56" class="node">
728
+<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"/>
737
+</g>
738
+</g>
739
+</svg>