diff --git a/notebooks/PICS/Slicer-synopsis-1.png b/notebooks/PICS/Slicer-synopsis-1.png
index 21233583..e89698ea 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 f5e416ef..b1ef1591 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="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)">
+<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)">
 <title>dependencies</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-348 197.62,-348 197.62,4 -4,4"/>
-<!-- test_functiondemoat0x1041ee050_3 -->
+<polygon fill="white" stroke="none" points="-4,4 -4,-272 336.62,-272 336.62,4 -4,4"/>
+<!-- demoreturnvalue_functiondemoat0x107beb400_5 -->
 <g id="node1" class="node">
-<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_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>
+<title>demoreturnvalue_functiondemoat0x107beb400_5</title>
+<g id="a_node1"><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>
-<!-- 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_functiondemoat0x1041ee050_3&#45;&gt;z_functiondemoat0x1041ee050_4 -->
-<!-- x_functiondemoat0x1041ee050_1 -->
+<!-- z_functiondemoat0x107beb400_4 -->
 <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>
+<title>z_functiondemoat0x107beb400_4</title>
+<g id="a_node2"><a xlink:title="demo:4">
+<polygon fill="peachpuff" stroke="black" points="210.62,-116 156.62,-116 156.62,-76 210.62,-76 210.62,-116"/>
+<text text-anchor="start" x="179.5" y="-99.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
+<text text-anchor="start" x="167.88" y="-81.45" font-family="Courier,monospace" font-size="9.00">z *= 2</text>
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x1041ee050_1&#45;&gt;test_functiondemoat0x1041ee050_3 -->
+<!-- z_functiondemoat0x107beb400_4&#45;&gt;demoreturnvalue_functiondemoat0x107beb400_5 -->
 <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"/>
+<title>z_functiondemoat0x107beb400_4&#45;&gt;demoreturnvalue_functiondemoat0x107beb400_5</title>
+<path fill="none" stroke="black" d="M156.2,-77.09C144.77,-68.31 131.63,-57.56 120.38,-47.83"/>
+<polygon fill="black" stroke="black" points="122.78,-45.29 112.97,-41.3 118.16,-50.54 122.78,-45.29"/>
 </g>
-<!-- z_functiondemoat0x1041ee050_2 -->
-<g id="node4" class="node">
-<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>
+<!-- z_functiondemoat0x107beb400_4&#45;&gt;demoreturnvalue_functiondemoat0x107beb400_5 -->
+<!-- z_functiondemoat0x107beb400_4&#45;&gt;z_functiondemoat0x107beb400_4 -->
+<g id="edge4" class="edge">
+<title>z_functiondemoat0x107beb400_4&#45;&gt;z_functiondemoat0x107beb400_4</title>
+<path fill="none" stroke="black" d="M210.87,-110.24C220.65,-110.54 228.62,-105.8 228.62,-96 228.62,-90.34 225.96,-86.36 221.82,-84.07"/>
+<polygon fill="black" stroke="black" points="222.85,-80.71 212.35,-82.08 221.41,-87.56 222.85,-80.71"/>
+</g>
+<!-- test_functiondemoat0x107beb400_3 -->
+<g id="node5" class="node">
+<title>test_functiondemoat0x107beb400_3</title>
+<g id="a_node5"><a xlink:title="demo:3">
+<polygon fill="peachpuff" stroke="black" points="323.5,-40 207.75,-40 207.75,0 323.5,0 323.5,-40"/>
+<text text-anchor="start" x="240.88" 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="215.75" y="-5.45" font-family="Courier,monospace" font-size="9.00">while x &lt;= z &lt;= 64:</text>
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
+<!-- z_functiondemoat0x107beb400_4&#45;&gt;test_functiondemoat0x107beb400_3 -->
 <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"/>
+<title>z_functiondemoat0x107beb400_4&#45;&gt;test_functiondemoat0x107beb400_3</title>
+<path fill="none" stroke="black" d="M193.12,-75.56C201.1,-66.97 212.11,-56.75 223.27,-47.49"/>
+<polygon fill="black" stroke="black" points="225.42,-50.25 231.02,-41.26 221.03,-44.8 225.42,-50.25"/>
 </g>
-<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
-<!-- z_functiondemoat0x1041ee050_4&#45;&gt;test_functiondemoat0x1041ee050_3 -->
-<g id="edge2" class="edge">
-<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"/>
+<!-- z_functiondemoat0x107beb400_2 -->
+<g id="node3" class="node">
+<title>z_functiondemoat0x107beb400_2</title>
+<g id="a_node3"><a xlink:title="demo:2">
+<polygon fill="peachpuff" stroke="black" points="288.62,-192 234.62,-192 234.62,-152 288.62,-152 288.62,-192"/>
+<text text-anchor="start" x="257.5" y="-175.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">z</text>
+<text text-anchor="start" x="248.5" y="-157.45" font-family="Courier,monospace" font-size="9.00">z = x</text>
+</a>
 </g>
-<!-- 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>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>
+<!-- z_functiondemoat0x107beb400_2&#45;&gt;z_functiondemoat0x107beb400_4 -->
+<g id="edge3" class="edge">
+<title>z_functiondemoat0x107beb400_2&#45;&gt;z_functiondemoat0x107beb400_4</title>
+<path fill="none" stroke="black" d="M241.13,-151.56C232.26,-143.14 221.74,-133.16 212.13,-124.04"/>
+<polygon fill="black" stroke="black" points="214.74,-121.7 205.08,-117.35 209.93,-126.78 214.74,-121.7"/>
+</g>
+<!-- z_functiondemoat0x107beb400_2&#45;&gt;test_functiondemoat0x107beb400_3 -->
+<g id="edge6" class="edge">
+<title>z_functiondemoat0x107beb400_2&#45;&gt;test_functiondemoat0x107beb400_3</title>
+<path fill="none" stroke="black" d="M257.44,-151.7C255.7,-126.27 256.62,-81.28 259.27,-51.29"/>
+<polygon fill="black" stroke="black" points="262.71,-52.04 260.26,-41.73 255.75,-51.32 262.71,-52.04"/>
+</g>
+<!-- z_functiondemoat0x107beb400_2&#45;&gt;test_functiondemoat0x107beb400_3 -->
+<!-- x_functiondemoat0x107beb400_1 -->
+<g id="node4" class="node">
+<title>x_functiondemoat0x107beb400_1</title>
+<g id="a_node4"><a xlink:title="demo:1">
+<polygon fill="peachpuff" stroke="black" points="332.62,-268 190.62,-268 190.62,-228 332.62,-228 332.62,-268"/>
+<text text-anchor="start" x="257.5" y="-251.7" font-family="Courier,monospace" font-weight="bold" font-size="14.00">x</text>
+<text text-anchor="start" x="198.62" y="-233.45" font-family="Courier,monospace" font-size="9.00">def demo(x: int) &#45;&gt; int:</text>
 </a>
 </g>
 </g>
-<!-- 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"/>
+<!-- x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_2 -->
+<g id="edge2" class="edge">
+<title>x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_2</title>
+<path fill="none" stroke="black" d="M255.6,-227.56C254.95,-220.25 254.74,-211.75 254.96,-203.67"/>
+<polygon fill="black" stroke="black" points="258.45,-204.01 255.53,-193.82 251.46,-203.61 258.45,-204.01"/>
 </g>
-<!-- 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"/>
+<!-- x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_2 -->
+<!-- x_functiondemoat0x107beb400_1&#45;&gt;test_functiondemoat0x107beb400_3 -->
+<g id="edge7" class="edge">
+<title>x_functiondemoat0x107beb400_1&#45;&gt;test_functiondemoat0x107beb400_3</title>
+<path fill="none" stroke="black" d="M278.38,-227.53C285.83,-217.6 293.78,-204.9 297.62,-192 312.11,-143.42 293.85,-85.04 279.55,-50.59"/>
+<polygon fill="black" stroke="black" points="282.88,-49.47 275.7,-41.68 276.45,-52.25 282.88,-49.47"/>
 </g>
-<!-- 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"/>
+<!-- test_functiondemoat0x107beb400_3&#45;&gt;z_functiondemoat0x107beb400_4 -->
+<g id="edge5" class="edge">
+<title>test_functiondemoat0x107beb400_3&#45;&gt;z_functiondemoat0x107beb400_4</title>
+<path fill="none" stroke="grey" stroke-dasharray="5,2" d="M244.22,-40.31C234.83,-48.79 223.63,-58.9 213.44,-68.1"/>
+<polygon fill="grey" stroke="grey" points="211.37,-65.25 206.29,-74.54 216.06,-70.44 211.37,-65.25"/>
 </g>
+<!-- test_functiondemoat0x107beb400_3&#45;&gt;z_functiondemoat0x107beb400_4 -->
 </g>
 </svg>
diff --git a/notebooks/PICS/Slicer-synopsis-2.svg b/notebooks/PICS/Slicer-synopsis-2.svg
index 6ed3aa69..c519b098 100644
--- a/notebooks/PICS/Slicer-synopsis-2.svg
+++ b/notebooks/PICS/Slicer-synopsis-2.svg
@@ -9,32 +9,32 @@
 <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_functiondemoat0x1041ee050_1 -->
+<!-- z_functiondemoat0x107beb400_2 -->
 <g id="node1" class="node">
-<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>
-<text text-anchor="start" x="8" y="-81.45" font-family="Courier,monospace" font-size="9.00">def demo(x: int) &#45;&gt; int:</text>
+<title>z_functiondemoat0x107beb400_2</title>
+<g id="a_node1"><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>
+<text text-anchor="start" x="57.88" y="-5.45" font-family="Courier,monospace" font-size="9.00">z = x</text>
 </a>
 </g>
 </g>
-<!-- z_functiondemoat0x1041ee050_2 -->
+<!-- x_functiondemoat0x107beb400_1 -->
 <g id="node2" class="node">
-<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>
-<text text-anchor="start" x="57.88" y="-5.45" font-family="Courier,monospace" font-size="9.00">z = x</text>
+<title>x_functiondemoat0x107beb400_1</title>
+<g id="a_node2"><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>
+<text text-anchor="start" x="8" y="-81.45" font-family="Courier,monospace" font-size="9.00">def demo(x: int) &#45;&gt; int:</text>
 </a>
 </g>
 </g>
-<!-- x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
+<!-- x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_2 -->
 <g id="edge1" class="edge">
-<title>x_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2</title>
+<title>x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_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_functiondemoat0x1041ee050_1&#45;&gt;z_functiondemoat0x1041ee050_2 -->
+<!-- x_functiondemoat0x107beb400_1&#45;&gt;z_functiondemoat0x107beb400_2 -->
 </g>
 </svg>