diff --git a/notebooks/PICS/ChangeCounter-synopsis-1.png b/notebooks/PICS/ChangeCounter-synopsis-1.png
index 1754f4a8..94966d44 100644
Binary files a/notebooks/PICS/ChangeCounter-synopsis-1.png and b/notebooks/PICS/ChangeCounter-synopsis-1.png differ
diff --git a/notebooks/PICS/ChangeDebugger-synopsis-1.png b/notebooks/PICS/ChangeDebugger-synopsis-1.png
index 840f4551..19395121 100644
Binary files a/notebooks/PICS/ChangeDebugger-synopsis-1.png and b/notebooks/PICS/ChangeDebugger-synopsis-1.png differ
diff --git a/notebooks/PICS/ClassDiagram-synopsis-1.png b/notebooks/PICS/ClassDiagram-synopsis-1.png
index 303dd980..724db492 100644
Binary files a/notebooks/PICS/ClassDiagram-synopsis-1.png and b/notebooks/PICS/ClassDiagram-synopsis-1.png differ
diff --git a/notebooks/PICS/DDSetDebugger-synopsis-1.png b/notebooks/PICS/DDSetDebugger-synopsis-1.png
index d5c04bc7..b7949c13 100644
Binary files a/notebooks/PICS/DDSetDebugger-synopsis-1.png and b/notebooks/PICS/DDSetDebugger-synopsis-1.png differ
diff --git a/notebooks/PICS/Debugger-synopsis-1.png b/notebooks/PICS/Debugger-synopsis-1.png
index 1bdf4122..61be17c3 100644
Binary files a/notebooks/PICS/Debugger-synopsis-1.png and b/notebooks/PICS/Debugger-synopsis-1.png differ
diff --git a/notebooks/PICS/DeltaDebugger-synopsis-1.png b/notebooks/PICS/DeltaDebugger-synopsis-1.png
index 57450a09..dd9bb277 100644
Binary files a/notebooks/PICS/DeltaDebugger-synopsis-1.png and b/notebooks/PICS/DeltaDebugger-synopsis-1.png differ
diff --git a/notebooks/PICS/DynamicInvariants-synopsis-1.png b/notebooks/PICS/DynamicInvariants-synopsis-1.png
index 43ee4c2c..0c1ba46a 100644
Binary files a/notebooks/PICS/DynamicInvariants-synopsis-1.png and b/notebooks/PICS/DynamicInvariants-synopsis-1.png differ
diff --git a/notebooks/PICS/PerformanceDebugger-synopsis-1.png b/notebooks/PICS/PerformanceDebugger-synopsis-1.png
index efba1c44..b920efa1 100644
Binary files a/notebooks/PICS/PerformanceDebugger-synopsis-1.png and b/notebooks/PICS/PerformanceDebugger-synopsis-1.png differ
diff --git a/notebooks/PICS/Repairer-synopsis-1.png b/notebooks/PICS/Repairer-synopsis-1.png
index 582b3fcf..d077c172 100644
Binary files a/notebooks/PICS/Repairer-synopsis-1.png and b/notebooks/PICS/Repairer-synopsis-1.png differ
diff --git a/notebooks/PICS/Slicer-synopsis-1.png b/notebooks/PICS/Slicer-synopsis-1.png
index d5bad4e3..21233583 100644
Binary files a/notebooks/PICS/Slicer-synopsis-1.png and b/notebooks/PICS/Slicer-synopsis-1.png differ
diff --git a/notebooks/PICS/Slicer-synopsis-1.svg b/notebooks/PICS/Slicer-synopsis-1.svg
index bea252be..f5e416ef 100644
--- a/notebooks/PICS/Slicer-synopsis-1.svg
+++ b/notebooks/PICS/Slicer-synopsis-1.svg
@@ -4,112 +4,112 @@
 <!-- Generated by graphviz version 9.0.0 (20230911.1827)
  -->
 <!-- Title: dependencies Pages: 1 -->
-<svg width="341pt" height="276pt"
- viewBox="0.00 0.00 340.62 276.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 272)">
+<svg width="202pt" height="352pt"
+ viewBox="0.00 0.00 201.62 352.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 348)">
 <title>dependencies</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-272 336.62,-272 336.62,4 -4,4"/>
-<!-- demoreturnvalue_functiondemoat0x105d9bd90_5 -->
+<polygon fill="white" stroke="none" points="-4,4 -4,-348 197.62,-348 197.62,4 -4,4"/>
+<!-- test_functiondemoat0x1041ee050_3 -->
 <g id="node1" class="node">
-<title>demoreturnvalue_functiondemoat0x105d9bd90_5</title>
-<g id="a_node1"><a xlink:title="demo:5">
-<polygon fill="peachpuff" stroke="black" points="332.62,-40 143.38,-40 143.38,0 332.62,0 332.62,-40"/>
-<text text-anchor="start" x="151.38" y="-23.7" font-family="Courier,monospace" font-weight="bold" font-style="italic" font-size="14.00">&lt;demo() return value&gt;</text>
-<text text-anchor="start" x="217" y="-5.45" font-family="Courier,monospace" font-size="9.00">return z</text>
+<title>test_functiondemoat0x1041ee050_3</title>
+<g id="a_node1"><a xlink:title="demo:3">
+<polygon fill="peachpuff" stroke="black" points="152.5,-192 36.75,-192 36.75,-152 152.5,-152 152.5,-192"/>
+<text text-anchor="start" x="69.88" y="-175.7" font-family="Courier,monospace" font-weight="bold" font-style="italic" font-size="14.00">&lt;test&gt;</text>
+<text text-anchor="start" x="44.75" y="-157.45" font-family="Courier,monospace" font-size="9.00">while x &lt;= z &lt;= 64:</text>
 </a>
 </g>
 </g>
-<!-- z_functiondemoat0x105d9bd90_4 -->
-<g id="node2" class="node">
-<title>z_functiondemoat0x105d9bd90_4</title>
-<g id="a_node2"><a xlink:title="demo:4">
-<polygon fill="peachpuff" stroke="black" points="158,-116 104,-116 104,-76 158,-76 158,-116"/>
-<text text-anchor="start" x="126.88" y="-99.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
-<text text-anchor="start" x="115.25" y="-81.45" font-family="Courier,monospace" font-size="9.00">z *= 2</text>
+<!-- z_functiondemoat0x1041ee050_4 -->
+<g id="node3" class="node">
+<title>z_functiondemoat0x1041ee050_4</title>
+<g id="a_node3"><a xlink:title="demo:4">
+<polygon fill="peachpuff" stroke="black" points="121.62,-116 67.62,-116 67.62,-76 121.62,-76 121.62,-116"/>
+<text text-anchor="start" x="90.5" y="-99.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
+<text text-anchor="start" x="78.88" y="-81.45" font-family="Courier,monospace" font-size="9.00">z *= 2</text>
 </a>
 </g>
 </g>
-<!-- z_functiondemoat0x105d9bd90_4&#45;&gt;demoreturnvalue_functiondemoat0x105d9bd90_5 -->
-<g id="edge1" class="edge">
-<title>z_functiondemoat0x105d9bd90_4&#45;&gt;demoreturnvalue_functiondemoat0x105d9bd90_5</title>
-<path fill="none" stroke="black" d="M153.09,-75.56C165.19,-66.63 180.52,-55.94 194.84,-46.39"/>
-<polygon fill="black" stroke="black" points="196.38,-49.57 202.8,-41.15 192.52,-43.73 196.38,-49.57"/>
-</g>
-<!-- z_functiondemoat0x105d9bd90_4&#45;&gt;demoreturnvalue_functiondemoat0x105d9bd90_5 -->
-<!-- z_functiondemoat0x105d9bd90_4&#45;&gt;z_functiondemoat0x105d9bd90_4 -->
-<g id="edge6" class="edge">
-<title>z_functiondemoat0x105d9bd90_4&#45;&gt;z_functiondemoat0x105d9bd90_4</title>
-<path fill="none" stroke="black" d="M158.24,-110.24C168.02,-110.54 176,-105.8 176,-96 176,-90.34 173.33,-86.36 169.19,-84.07"/>
-<polygon fill="black" stroke="black" points="170.23,-80.71 159.72,-82.08 168.78,-87.56 170.23,-80.71"/>
+<!-- test_functiondemoat0x1041ee050_3&#45;&gt;z_functiondemoat0x1041ee050_4 -->
+<g id="edge7" class="edge">
+<title>test_functiondemoat0x1041ee050_3&#45;&gt;z_functiondemoat0x1041ee050_4</title>
+<path fill="none" stroke="grey" stroke-dasharray="5,2" d="M82.58,-151.56C81.27,-144.25 80.85,-135.75 81.3,-127.67"/>
+<polygon fill="grey" stroke="grey" points="84.77,-128.15 82.43,-117.82 77.82,-127.35 84.77,-128.15"/>
 </g>
-<!-- test_functiondemoat0x105d9bd90_3 -->
-<g id="node3" class="node">
-<title>test_functiondemoat0x105d9bd90_3</title>
-<g id="a_node3"><a xlink:title="demo:3">
-<polygon fill="peachpuff" stroke="black" points="124.88,-40 9.12,-40 9.12,0 124.88,0 124.88,-40"/>
-<text text-anchor="start" x="42.25" y="-23.7" font-family="Courier,monospace" font-weight="bold" font-style="italic" font-size="14.00">&lt;test&gt;</text>
-<text text-anchor="start" x="17.12" y="-5.45" font-family="Courier,monospace" font-size="9.00">while x &lt;= z &lt;= 64:</text>
+<!-- test_functiondemoat0x1041ee050_3&#45;&gt;z_functiondemoat0x1041ee050_4 -->
+<!-- x_functiondemoat0x1041ee050_1 -->
+<g id="node2" class="node">
+<title>x_functiondemoat0x1041ee050_1</title>
+<g id="a_node2"><a xlink:title="demo:1">
+<polygon fill="peachpuff" stroke="black" points="193.62,-344 51.62,-344 51.62,-304 193.62,-304 193.62,-344"/>
+<text text-anchor="start" x="118.5" y="-327.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">x</text>
+<text text-anchor="start" x="59.62" y="-309.45" font-family="Courier,monospace" font-size="9.00">def demo(x: int) &#45;&gt; int:</text>
 </a>
 </g>
 </g>
-<!-- z_functiondemoat0x105d9bd90_4&#45;&gt;test_functiondemoat0x105d9bd90_3 -->
-<g id="edge3" class="edge">
-<title>z_functiondemoat0x105d9bd90_4&#45;&gt;test_functiondemoat0x105d9bd90_3</title>
-<path fill="none" stroke="black" d="M103.75,-77.09C94.86,-68.75 85.64,-58.62 78.3,-49.28"/>
-<polygon fill="black" stroke="black" points="81.33,-47.49 72.57,-41.52 75.69,-51.65 81.33,-47.49"/>
-</g>
-<!-- test_functiondemoat0x105d9bd90_3&#45;&gt;z_functiondemoat0x105d9bd90_4 -->
-<g id="edge8" class="edge">
-<title>test_functiondemoat0x105d9bd90_3&#45;&gt;z_functiondemoat0x105d9bd90_4</title>
-<path fill="none" stroke="grey" stroke-dasharray="5,2" d="M83.7,-40.31C90.74,-48.45 99.08,-58.09 106.77,-66.99"/>
-<polygon fill="grey" stroke="grey" points="104.01,-69.14 113.19,-74.41 109.3,-64.56 104.01,-69.14"/>
+<!-- x_functiondemoat0x1041ee050_1&#45;&gt;test_functiondemoat0x1041ee050_3 -->
+<g id="edge1" class="edge">
+<title>x_functiondemoat0x1041ee050_1&#45;&gt;test_functiondemoat0x1041ee050_3</title>
+<path fill="none" stroke="black" d="M105.87,-303.53C98.42,-293.6 90.47,-280.9 86.62,-268 80.39,-247.08 82.7,-222.51 86.41,-203.59"/>
+<polygon fill="black" stroke="black" points="89.82,-204.35 88.57,-193.83 82.99,-202.83 89.82,-204.35"/>
 </g>
-<!-- test_functiondemoat0x105d9bd90_3&#45;&gt;z_functiondemoat0x105d9bd90_4 -->
-<!-- x_functiondemoat0x105d9bd90_1 -->
+<!-- z_functiondemoat0x1041ee050_2 -->
 <g id="node4" class="node">
-<title>x_functiondemoat0x105d9bd90_1</title>
-<g id="a_node4"><a xlink:title="demo:1">
-<polygon fill="peachpuff" stroke="black" points="142,-268 0,-268 0,-228 142,-228 142,-268"/>
-<text text-anchor="start" x="66.88" y="-251.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">x</text>
-<text text-anchor="start" x="8" y="-233.45" font-family="Courier,monospace" font-size="9.00">def demo(x: int) &#45;&gt; int:</text>
+<title>z_functiondemoat0x1041ee050_2</title>
+<g id="a_node4"><a xlink:title="demo:2">
+<polygon fill="peachpuff" stroke="black" points="149.62,-268 95.62,-268 95.62,-228 149.62,-228 149.62,-268"/>
+<text text-anchor="start" x="118.5" y="-251.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
+<text text-anchor="start" x="109.5" y="-233.45" font-family="Courier,monospace" font-size="9.00">z = x</text>
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x105d9bd90_1&#45;&gt;test_functiondemoat0x105d9bd90_3 -->
+<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
+<g id="edge8" class="edge">
+<title>x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2</title>
+<path fill="none" stroke="black" d="M116.6,-303.56C115.95,-296.25 115.74,-287.75 115.96,-279.67"/>
+<polygon fill="black" stroke="black" points="119.45,-280.01 116.53,-269.82 112.46,-279.61 119.45,-280.01"/>
+</g>
+<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
+<!-- z_functiondemoat0x1041ee050_4&#45;&gt;test_functiondemoat0x1041ee050_3 -->
 <g id="edge2" class="edge">
-<title>x_functiondemoat0x105d9bd90_1&#45;&gt;test_functiondemoat0x105d9bd90_3</title>
-<path fill="none" stroke="black" d="M54.25,-227.53C46.8,-217.6 38.85,-204.9 35,-192 20.52,-143.42 38.78,-85.04 53.07,-50.59"/>
-<polygon fill="black" stroke="black" points="56.17,-52.25 56.93,-41.68 49.75,-49.47 56.17,-52.25"/>
+<title>z_functiondemoat0x1041ee050_4&#45;&gt;test_functiondemoat0x1041ee050_3</title>
+<path fill="none" stroke="black" d="M94.62,-116.31C94.62,-123.61 94.62,-132.1 94.62,-140.19"/>
+<polygon fill="black" stroke="black" points="91.13,-140.04 94.63,-150.04 98.13,-140.04 91.13,-140.04"/>
 </g>
-<!-- z_functiondemoat0x105d9bd90_2 -->
+<!-- z_functiondemoat0x1041ee050_4&#45;&gt;z_functiondemoat0x1041ee050_4 -->
+<g id="edge5" class="edge">
+<title>z_functiondemoat0x1041ee050_4&#45;&gt;z_functiondemoat0x1041ee050_4</title>
+<path fill="none" stroke="black" d="M121.87,-110.24C131.65,-110.54 139.62,-105.8 139.62,-96 139.62,-90.34 136.96,-86.36 132.82,-84.07"/>
+<polygon fill="black" stroke="black" points="133.85,-80.71 123.35,-82.08 132.41,-87.56 133.85,-80.71"/>
+</g>
+<!-- demoreturnvalue_functiondemoat0x1041ee050_5 -->
 <g id="node5" class="node">
-<title>z_functiondemoat0x105d9bd90_2</title>
-<g id="a_node5"><a xlink:title="demo:2">
-<polygon fill="peachpuff" stroke="black" points="98,-192 44,-192 44,-152 98,-152 98,-192"/>
-<text text-anchor="start" x="66.88" y="-175.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
-<text text-anchor="start" x="57.88" y="-157.45" font-family="Courier,monospace" font-size="9.00">z = x</text>
+<title>demoreturnvalue_functiondemoat0x1041ee050_5</title>
+<g id="a_node5"><a xlink:title="demo:5">
+<polygon fill="peachpuff" stroke="black" points="189.25,-40 0,-40 0,0 189.25,0 189.25,-40"/>
+<text text-anchor="start" x="8" y="-23.7" font-family="Courier,monospace" font-weight="bold" font-style="italic" font-size="14.00">&lt;demo() return value&gt;</text>
+<text text-anchor="start" x="73.62" y="-5.45" font-family="Courier,monospace" font-size="9.00">return z</text>
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2 -->
-<g id="edge5" class="edge">
-<title>x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2</title>
-<path fill="none" stroke="black" d="M64.98,-227.56C64.32,-220.25 64.11,-211.75 64.34,-203.67"/>
-<polygon fill="black" stroke="black" points="67.82,-204.01 64.9,-193.82 60.84,-203.61 67.82,-204.01"/>
+<!-- z_functiondemoat0x1041ee050_4&#45;&gt;demoreturnvalue_functiondemoat0x1041ee050_5 -->
+<g id="edge4" class="edge">
+<title>z_functiondemoat0x1041ee050_4&#45;&gt;demoreturnvalue_functiondemoat0x1041ee050_5</title>
+<path fill="none" stroke="black" d="M88.6,-75.56C87.95,-68.25 87.74,-59.75 87.96,-51.67"/>
+<polygon fill="black" stroke="black" points="91.45,-52.01 88.53,-41.82 84.46,-51.61 91.45,-52.01"/>
 </g>
-<!-- x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2 -->
-<!-- z_functiondemoat0x105d9bd90_2&#45;&gt;z_functiondemoat0x105d9bd90_4 -->
-<g id="edge7" class="edge">
-<title>z_functiondemoat0x105d9bd90_2&#45;&gt;z_functiondemoat0x105d9bd90_4</title>
-<path fill="none" stroke="black" d="M86.76,-151.56C93.31,-143.48 101.03,-133.96 108.18,-125.15"/>
-<polygon fill="black" stroke="black" points="110.81,-127.46 114.39,-117.49 105.37,-123.05 110.81,-127.46"/>
+<!-- z_functiondemoat0x1041ee050_4&#45;&gt;demoreturnvalue_functiondemoat0x1041ee050_5 -->
+<!-- z_functiondemoat0x1041ee050_2&#45;&gt;test_functiondemoat0x1041ee050_3 -->
+<g id="edge3" class="edge">
+<title>z_functiondemoat0x1041ee050_2&#45;&gt;test_functiondemoat0x1041ee050_3</title>
+<path fill="none" stroke="black" d="M109.25,-227.56C105.75,-220.08 102.24,-211.36 99.37,-203.11"/>
+<polygon fill="black" stroke="black" points="102.76,-202.21 96.38,-193.75 96.09,-204.35 102.76,-202.21"/>
 </g>
-<!-- z_functiondemoat0x105d9bd90_2&#45;&gt;test_functiondemoat0x105d9bd90_3 -->
-<g id="edge4" class="edge">
-<title>z_functiondemoat0x105d9bd90_2&#45;&gt;test_functiondemoat0x105d9bd90_3</title>
-<path fill="none" stroke="black" d="M65.78,-151.7C62.71,-126.38 61.22,-81.68 62.25,-51.69"/>
-<polygon fill="black" stroke="black" points="65.74,-51.9 62.74,-41.74 58.75,-51.55 65.74,-51.9"/>
+<!-- z_functiondemoat0x1041ee050_2&#45;&gt;test_functiondemoat0x1041ee050_3 -->
+<!-- z_functiondemoat0x1041ee050_2&#45;&gt;z_functiondemoat0x1041ee050_4 -->
+<g id="edge6" class="edge">
+<title>z_functiondemoat0x1041ee050_2&#45;&gt;z_functiondemoat0x1041ee050_4</title>
+<path fill="none" stroke="black" d="M140.96,-227.51C148.96,-217.66 157.47,-205.05 161.62,-192 167.02,-175.06 169.22,-168.07 161.62,-152 155.13,-138.26 143.33,-126.8 131.42,-117.96"/>
+<polygon fill="black" stroke="black" points="133.42,-115.09 123.2,-112.3 129.45,-120.85 133.42,-115.09"/>
 </g>
-<!-- z_functiondemoat0x105d9bd90_2&#45;&gt;test_functiondemoat0x105d9bd90_3 -->
 </g>
 </svg>
diff --git a/notebooks/PICS/Slicer-synopsis-2.svg b/notebooks/PICS/Slicer-synopsis-2.svg
index 2bdd5c7e..6ed3aa69 100644
--- a/notebooks/PICS/Slicer-synopsis-2.svg
+++ b/notebooks/PICS/Slicer-synopsis-2.svg
@@ -9,9 +9,9 @@
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 120)">
 <title>dependencies</title>
 <polygon fill="white" stroke="none" points="-4,4 -4,-120 146,-120 146,4 -4,4"/>
-<!-- x_functiondemoat0x105d9bd90_1 -->
+<!-- x_functiondemoat0x1041ee050_1 -->
 <g id="node1" class="node">
-<title>x_functiondemoat0x105d9bd90_1</title>
+<title>x_functiondemoat0x1041ee050_1</title>
 <g id="a_node1"><a xlink:title="demo:1">
 <polygon fill="peachpuff" stroke="black" points="142,-116 0,-116 0,-76 142,-76 142,-116"/>
 <text text-anchor="start" x="66.88" y="-99.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">x</text>
@@ -19,9 +19,9 @@
 </a>
 </g>
 </g>
-<!-- z_functiondemoat0x105d9bd90_2 -->
+<!-- z_functiondemoat0x1041ee050_2 -->
 <g id="node2" class="node">
-<title>z_functiondemoat0x105d9bd90_2</title>
+<title>z_functiondemoat0x1041ee050_2</title>
 <g id="a_node2"><a xlink:title="demo:2">
 <polygon fill="peachpuff" stroke="black" points="98,-40 44,-40 44,0 98,0 98,-40"/>
 <text text-anchor="start" x="66.88" y="-23.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
@@ -29,12 +29,12 @@
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2 -->
+<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
 <g id="edge1" class="edge">
-<title>x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2</title>
+<title>x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2</title>
 <path fill="none" stroke="black" d="M64.98,-75.56C64.32,-68.25 64.11,-59.75 64.34,-51.67"/>
 <polygon fill="black" stroke="black" points="67.82,-52.01 64.9,-41.82 60.84,-51.61 67.82,-52.01"/>
 </g>
-<!-- x_functiondemoat0x105d9bd90_1&#45;&gt;z_functiondemoat0x105d9bd90_2 -->
+<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
 </g>
 </svg>
diff --git a/notebooks/PICS/Slicer-synopsis-3.png b/notebooks/PICS/Slicer-synopsis-3.png
index 8dff79c0..ae25f3e1 100644
Binary files a/notebooks/PICS/Slicer-synopsis-3.png and b/notebooks/PICS/Slicer-synopsis-3.png differ
diff --git a/notebooks/PICS/StackInspector-synopsis-1.png b/notebooks/PICS/StackInspector-synopsis-1.png
index e1053689..fcbff28e 100644
Binary files a/notebooks/PICS/StackInspector-synopsis-1.png and b/notebooks/PICS/StackInspector-synopsis-1.png differ
diff --git a/notebooks/PICS/StatisticalDebugger-synopsis-1.png b/notebooks/PICS/StatisticalDebugger-synopsis-1.png
index 4b863cec..f9f79d0c 100644
Binary files a/notebooks/PICS/StatisticalDebugger-synopsis-1.png and b/notebooks/PICS/StatisticalDebugger-synopsis-1.png differ
diff --git a/notebooks/PICS/StatisticalDebugger-synopsis-2.png b/notebooks/PICS/StatisticalDebugger-synopsis-2.png
index a75cd3fb..6b7e77bf 100644
Binary files a/notebooks/PICS/StatisticalDebugger-synopsis-2.png and b/notebooks/PICS/StatisticalDebugger-synopsis-2.png differ
diff --git a/notebooks/PICS/Tracer-synopsis-1.png b/notebooks/PICS/Tracer-synopsis-1.png
index aff6a34b..732f3e77 100644
Binary files a/notebooks/PICS/Tracer-synopsis-1.png and b/notebooks/PICS/Tracer-synopsis-1.png differ