diff --git a/dot/trpl15-04.dot b/dot/trpl15-04.dot
new file mode 100644
index 0000000000..562543cb6d
--- /dev/null
+++ b/dot/trpl15-04.dot
@@ -0,0 +1,16 @@
+digraph {
+    node[shape=record];
+    rankdir=LR;
+
+    l1[label="{<data> 5| <next>}"];
+    l2[label="{<data> 10| <next>}"];
+
+    {node[shape=point height=0] invisible_start invisible_end}
+
+    a -> l1:n;
+    b -> l2:n;
+    invisible_start:n -> l1[arrowtail=none];
+    invisible_start:s -> invisible_end:s[dir=none];
+    l1:next:c -> l2:data;
+    l2:next:c -> invisible_end:n[arrowhead=none];
+}
diff --git a/src/img/trpl15-04.svg b/src/img/trpl15-04.svg
index 96ad98ca13..7285ae6735 100644
--- a/src/img/trpl15-04.svg
+++ b/src/img/trpl15-04.svg
@@ -1,55 +1,84 @@
 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
-<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-<!-- Generated by graphviz version 2.36.0 (20140111.2315)
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
+ "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<!-- Generated by graphviz version 2.44.1 (20200629.0846)
  -->
-<!-- Title: %3 Pages: 1 -->
-<svg width="633pt" height="498pt" viewBox="0.00 0.00 633.33 498.19" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 115.566)">
-<title>%3</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-115.566 148,-115.566 148,4 -4,4"/>
-<!-- table0 -->
-<g id="node2" class="node"><title>table0</title>
-<polygon fill="none" stroke="black" points="0,-75.5656 0,-111.566 54,-111.566 54,-75.5656 0,-75.5656"/>
-<text text-anchor="middle" x="27" y="-89.8656" font-family="Times,serif" font-size="14.00">a</text>
-</g>
-<!-- table1 -->
-<g id="node4" class="node"><title>table1</title>
-<polygon fill="none" stroke="black" points="90,-75.5656 90,-111.566 144,-111.566 144,-75.5656 90,-75.5656"/>
-<text text-anchor="middle" x="104" y="-89.8656" font-family="Times,serif" font-size="14.00">5</text>
-<polyline fill="none" stroke="black" points="118,-75.5656 118,-111.566 "/>
-<text text-anchor="middle" x="131" y="-89.8656" font-family="Times,serif" font-size="14.00"> </text>
-</g>
-<!-- table2 -->
-<g id="node3" class="node"><title>table2</title>
-<polygon fill="none" stroke="black" points="90,-20.5656 90,-56.5656 144,-56.5656 144,-20.5656 90,-20.5656"/>
-<text text-anchor="middle" x="117" y="-34.8656" font-family="Times,serif" font-size="14.00">b</text>
-</g>
-<!-- table3 -->
-<g id="node1" class="node"><title>table3</title>
-<polygon fill="none" stroke="black" points="0,-20.5656 0,-56.5656 54,-56.5656 54,-20.5656 0,-20.5656"/>
-<text text-anchor="middle" x="16" y="-34.8656" font-family="Times,serif" font-size="14.00">10</text>
-<polyline fill="none" stroke="black" points="32,-20.5656 32,-56.5656 "/>
-<text text-anchor="middle" x="43" y="-34.8656" font-family="Times,serif" font-size="14.00"> </text>
-</g>
-<!-- table0&#45;&gt;table1 -->
-<g id="edge1" class="edge"><title>table0:ref-&gt;table1:data</title>
-<path fill="none" stroke="black" d="M54,-93.5656C66,-93.5656 71.25,-93.5656 78.875,-93.5656"/>
-<polygon fill="black" stroke="black" points="79,-97.0657 89,-93.5656 79,-90.0657 79,-97.0657"/>
-</g>
-<!-- table1&#45;&gt;table2 -->
-<g id="edge2" class="edge"><title>table1:ref-&gt;table2:data</title>
-<path fill="none" stroke="black" d="M123.1403,-65.1315C127.6523,-67.3402 133,-68.812 133,-75"/>
-<polygon fill="black" stroke="black" points="120.233,-67.0895 117,-57 125.8193,-62.8712 120.233,-67.0895"/>
-</g>
-<!-- table2&#45;&gt;table3 -->
-<g id="edge3" class="edge"><title>table2:ref-&gt;table3:data</title>
-<path fill="none" stroke="black" d="M117,-20.5656C117,2.6957 43.7375,5.56532 21.2401,-10.9567"/>
-<polygon fill="black" stroke="black" points="18.2098,-9.20375 16,-19.5656 24.1892,-12.8434 18.2098,-9.20375"/>
-</g>
-<!-- table3&#45;&gt;table0 -->
-<g id="edge4" class="edge"><title>table3:ref-&gt;table0:data</title>
-<path fill="none" stroke="black" d="M33.1409,-66.8685C37.6523,-64.6598 43,-63.188 43,-57"/>
-<polygon fill="black" stroke="black" points="30.233,-64.9105 27,-75 35.8193,-69.1288 30.233,-64.9105"/>
+<!-- Pages: 1 -->
+<svg width="750pt"
+ viewBox="0.00 0.00 1000 550" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(3.5 3.5) rotate(0) translate(4 148.09)">
+<polygon fill="white" stroke="transparent" points="-4,4 -4,-148.09 274,-148.09 274,4 -4,4"/>
+<!-- l1 -->
+<g id="node1" class="node">
+<title>l1</title>
+<polygon fill="none" stroke="black" points="90,-52.59 90,-88.59 144,-88.59 144,-52.59 90,-52.59"/>
+<text text-anchor="middle" x="104" y="-66.89" font-family="Times,serif" font-size="14.00">5</text>
+<polyline fill="none" stroke="black" points="118,-52.59 118,-88.59 "/>
+<text text-anchor="middle" x="131" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
+</g>
+<!-- l2 -->
+<g id="node2" class="node">
+<title>l2</title>
+<polygon fill="none" stroke="black" points="180,-52.59 180,-88.59 234,-88.59 234,-52.59 180,-52.59"/>
+<text text-anchor="middle" x="196" y="-66.89" font-family="Times,serif" font-size="14.00">10</text>
+<polyline fill="none" stroke="black" points="212,-52.59 212,-88.59 "/>
+<text text-anchor="middle" x="223" y="-66.89" font-family="Times,serif" font-size="14.00"> </text>
+</g>
+<!-- l1&#45;&gt;l2 -->
+<g id="edge5" class="edge">
+<title>l1:c&#45;&gt;l2:data</title>
+<path fill="none" stroke="black" d="M144.31,-70.59C151.47,-70.59 160.69,-70.59 169.83,-70.59"/>
+<polygon fill="black" stroke="black" points="170,-74.09 180,-70.59 170,-67.09 170,-74.09"/>
+</g>
+<!-- invisible_end -->
+<g id="node4" class="node">
+<title>invisible_end</title>
+<ellipse fill="black" stroke="black" cx="270" cy="-46.59" rx="0" ry="0"/>
+</g>
+<!-- l2&#45;&gt;invisible_end -->
+<g id="edge6" class="edge">
+<title>l2:c&#45;&gt;invisible_end:n</title>
+<path fill="none" stroke="black" d="M234.38,-69.89C248.29,-68.34 270,-63.4 270,-47.59"/>
+</g>
+<!-- invisible_start -->
+<g id="node3" class="node">
+<title>invisible_start</title>
+<ellipse fill="black" stroke="black" cx="27" cy="-37.59" rx="0" ry="0"/>
+</g>
+<!-- invisible_start&#45;&gt;l1 -->
+<g id="edge3" class="edge">
+<title>invisible_start:n&#45;&gt;l1</title>
+<path fill="none" stroke="black" d="M27,-38.59C27,-50.42 55.22,-59.08 79.87,-64.38"/>
+<polygon fill="black" stroke="black" points="79.28,-67.83 89.78,-66.38 80.67,-60.97 79.28,-67.83"/>
+</g>
+<!-- invisible_start&#45;&gt;invisible_end -->
+<g id="edge4" class="edge">
+<title>invisible_start:s&#45;&gt;invisible_end:s</title>
+<path fill="none" stroke="black" d="M27,-36.59C27,17.45 270,8.45 270,-45.59"/>
+</g>
+<!-- a -->
+<g id="node5" class="node">
+<title>a</title>
+<polygon fill="none" stroke="black" points="0,-70.59 0,-106.59 54,-106.59 54,-70.59 0,-70.59"/>
+<text text-anchor="middle" x="27" y="-84.89" font-family="Times,serif" font-size="14.00">a</text>
+</g>
+<!-- a&#45;&gt;l1 -->
+<g id="edge1" class="edge">
+<title>a&#45;&gt;l1:n</title>
+<path fill="none" stroke="black" d="M54.22,-93.79C73.3,-97.06 97.79,-100.05 109.76,-96.58"/>
+<polygon fill="black" stroke="black" points="112.24,-99.06 117,-89.59 107.38,-94.02 112.24,-99.06"/>
+</g>
+<!-- b -->
+<g id="node6" class="node">
+<title>b</title>
+<polygon fill="none" stroke="black" points="90,-107.59 90,-143.59 144,-143.59 144,-107.59 90,-107.59"/>
+<text text-anchor="middle" x="117" y="-121.89" font-family="Times,serif" font-size="14.00">b</text>
+</g>
+<!-- b&#45;&gt;l2 -->
+<g id="edge2" class="edge">
+<title>b&#45;&gt;l2:n</title>
+<path fill="none" stroke="black" d="M144.22,-125.57C166.99,-124.22 197.48,-118.71 205.18,-99.44"/>
+<polygon fill="black" stroke="black" points="208.62,-100.06 207,-89.59 201.74,-98.79 208.62,-100.06"/>
 </g>
 </g>
 </svg>