diff --git a/doc/images/dep-graph-nesting.svg b/doc/images/dep-graph-nesting.svg
new file mode 100644
index 0000000000000000000000000000000000000000..72cb9c4632eb5951b77d4ac1e21c59b6294af150
--- /dev/null
+++ b/doc/images/dep-graph-nesting.svg
@@ -0,0 +1,28 @@
+<?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.26.3 (20100126.1600)
+ -->
+<!-- Title: loopy_kernel Pages: 1 -->
+<svg width="154pt" height="142pt"
+ viewBox="0.00 0.00 154.00 142.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 138)">
+<title>loopy_kernel</title>
+<polygon fill="white" stroke="white" points="-4,5 -4,-138 151,-138 151,5 -4,5"/>
+<g id="graph2" class="cluster"><title>cluster_j</title>
+<polygon fill="none" stroke="black" points="8,-8 8,-126 138,-126 138,-8 8,-8"/>
+<text text-anchor="middle" x="73" y="-109.4" font-family="Times Roman,serif" font-size="14.00">j</text>
+</g>
+<g id="graph3" class="cluster"><title>cluster_i</title>
+<polygon fill="none" stroke="black" points="16,-16 16,-93 130,-93 130,-16 16,-16"/>
+<text text-anchor="middle" x="73" y="-76.4" font-family="Times Roman,serif" font-size="14.00">i</text>
+</g>
+<!-- insn -->
+<g id="node1" class="node"><title>insn</title>
+<a xlink:title="insn">
+<polygon fill="none" stroke="black" points="122,-60 24,-60 24,-24 122,-24 122,-60"/>
+<text text-anchor="middle" x="73" y="-37.9" font-family="Times Roman,serif" font-size="14.00">a[(i, j)] &lt;&#45; 0</text>
+</a>
+</g>
+</g>
+</svg>