diff --git a/python/spot/__init__.py b/python/spot/__init__.py
index 126d7e625..91b77c7e9 100644
--- a/python/spot/__init__.py
+++ b/python/spot/__init__.py
@@ -517,8 +517,10 @@ class acd:
         num = _acdnum
         _acdnum += 1
         style = '''
-.acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}
-.acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}
+.acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}
+.acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}
+.acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}
+.acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}
 .acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}
 .acdrej polygon{fill:red;}
 .acdacc polygon{fill:green;}
diff --git a/tests/python/zlktree.ipynb b/tests/python/zlktree.ipynb
index 3eb6f013f..5cd797fc7 100644
--- a/tests/python/zlktree.ipynb
+++ b/tests/python/zlktree.ipynb
@@ -48,7 +48,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"560pt\" height=\"278pt\"\n",
@@ -219,7 +219,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"560pt\" height=\"278pt\"\n",
@@ -387,7 +387,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01ddfe70> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814838d0> >"
       ]
      },
      "execution_count": 2,
@@ -640,7 +640,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"510pt\" height=\"276pt\"\n",
@@ -814,7 +814,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"510pt\" height=\"276pt\"\n",
@@ -985,7 +985,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01decab0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149d980> >"
       ]
      },
      "execution_count": 10,
@@ -1010,12 +1010,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"581pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 581.40 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4504504504504504 0.4504504504504504) rotate(0) translate(4 794)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.45 0.45) rotate(0) translate(4 794)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-794 1284.76,-794 1284.76,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"525.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"548.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -1411,12 +1411,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"581pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 581.40 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4504504504504504 0.4504504504504504) rotate(0) translate(4 794)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.45 0.45) rotate(0) translate(4 794)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-794 1284.76,-794 1284.76,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"525.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"548.88\" y=\"-775.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -1809,7 +1809,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01decd50> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149f750> >"
       ]
      },
      "execution_count": 11,
@@ -1876,7 +1876,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"492pt\" height=\"181pt\"\n",
@@ -2005,7 +2005,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"492pt\" height=\"181pt\"\n",
@@ -2131,7 +2131,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01ded4d0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f718149fc90> >"
       ]
      },
      "execution_count": 13,
@@ -2156,12 +2156,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"520pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 520.25 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4310344827586207 0.4310344827586207) rotate(0) translate(4 830)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.43 0.43) rotate(0) translate(4 830)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-830 1201.25,-830 1201.25,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"453.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"476.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -2579,12 +2579,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"520pt\" height=\"360pt\"\n",
        " viewBox=\"0.00 0.00 520.25 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.4310344827586207 0.4310344827586207) rotate(0) translate(4 830)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.43 0.43) rotate(0) translate(4 830)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-830 1201.25,-830 1201.25,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"453.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"476.13\" y=\"-811.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -2999,7 +2999,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d01dedc50> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814bc870> >"
       ]
      },
      "execution_count": 14,
@@ -3082,7 +3082,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"650pt\" height=\"422pt\"\n",
@@ -3397,7 +3397,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"650pt\" height=\"422pt\"\n",
@@ -3709,7 +3709,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb10> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814bd680> >"
       ]
      },
      "metadata": {},
@@ -3728,7 +3728,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"542pt\" height=\"406pt\"\n",
@@ -4043,7 +4043,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"542pt\" height=\"406pt\"\n",
@@ -4355,7 +4355,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814bd740> >"
       ]
      },
      "metadata": {},
@@ -4374,7 +4374,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"117pt\" height=\"334pt\"\n",
@@ -4444,7 +4444,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"117pt\" height=\"334pt\"\n",
@@ -4511,7 +4511,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01def180> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7182532610> >"
       ]
      },
      "metadata": {},
@@ -4530,7 +4530,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"228pt\" height=\"278pt\"\n",
@@ -4625,7 +4625,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"228pt\" height=\"278pt\"\n",
@@ -4717,7 +4717,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb10> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7182532700> >"
       ]
      },
      "metadata": {},
@@ -4736,7 +4736,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"62pt\" height=\"46pt\"\n",
@@ -4758,7 +4758,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"62pt\" height=\"46pt\"\n",
@@ -4777,7 +4777,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01defb40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f718149dfb0> >"
       ]
      },
      "metadata": {},
@@ -4796,7 +4796,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"79pt\" height=\"62pt\"\n",
@@ -4818,7 +4818,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"79pt\" height=\"62pt\"\n",
@@ -4837,7 +4837,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01def180> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f718149e100> >"
       ]
      },
      "metadata": {},
@@ -4911,7 +4911,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"358pt\" height=\"278pt\"\n",
@@ -5068,7 +5068,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"358pt\" height=\"278pt\"\n",
@@ -5222,7 +5222,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d01deff30> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f71814be5b0> >"
       ]
      },
      "execution_count": 18,
@@ -5298,7 +5298,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -5526,20 +5526,22 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: (FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0)) Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.93\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"acdaut0\" class=\"graph\" transform=\"scale(0.5376344086021505 0.5376344086021505) rotate(0) translate(4 467)\">\n",
+       "<g id=\"acdaut0\" class=\"graph\" transform=\"scale(0.54 0.54) rotate(0) translate(4 467)\">\n",
        "<title>(FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0))</title>\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-467 1353.5,-467 1353.5,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"503.75\" y=\"-448.8\" font-family=\"Lato\" font-size=\"14.00\">(Fin(</text>\n",
@@ -6106,7 +6108,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -6510,7 +6512,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d01deefa0> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f7182532370> >"
       ]
      },
      "execution_count": 20,
@@ -6789,12 +6791,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.58\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 754)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 754)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-754 2183.78,-754 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1008.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1031.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -7388,12 +7390,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.58\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 754)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 754)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-754 2183.78,-754 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1008.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1031.39\" y=\"-735.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -7984,7 +7986,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005206c0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814d4a80> >"
       ]
      },
      "execution_count": 29,
@@ -8047,12 +8049,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"245pt\"\n",
        " viewBox=\"0.00 0.00 729.00 245.25\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 732)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 732)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-732 2183.78,-732 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1039.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1062.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -8626,12 +8628,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"245pt\"\n",
        " viewBox=\"0.00 0.00 729.00 245.25\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.3333333333333333 0.3333333333333333) rotate(0) translate(4 732)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.33 0.33) rotate(0) translate(4 732)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-732 2183.78,-732 2183.78,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1039.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1062.39\" y=\"-713.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -9202,7 +9204,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005207b0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814d68b0> >"
       ]
      },
      "execution_count": 31,
@@ -9412,7 +9414,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -9640,20 +9642,22 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: (FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0)) Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"253pt\"\n",
        " viewBox=\"0.00 0.00 729.00 252.93\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"acdaut1\" class=\"graph\" transform=\"scale(0.5376344086021505 0.5376344086021505) rotate(0) translate(4 467)\">\n",
+       "<g id=\"acdaut1\" class=\"graph\" transform=\"scale(0.54 0.54) rotate(0) translate(4 467)\">\n",
        "<title>(FGp0 &amp; ((XFp0 &amp; F!p1) | F(Gp1 &amp;\\nXG!p0))) | G(F!p0 &amp;\\n(XFp0 | F!p1) &amp; F(Gp1 | G!p0))</title>\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-467 1353.5,-467 1353.5,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"503.75\" y=\"-448.8\" font-family=\"Lato\" font-size=\"14.00\">(Fin(</text>\n",
@@ -10220,7 +10224,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"1356pt\" height=\"458pt\"\n",
@@ -10624,7 +10628,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00520b40> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814e82a0> >"
       ]
      },
      "execution_count": 40,
@@ -10749,12 +10753,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"312pt\"\n",
        " viewBox=\"0.00 0.00 729.00 311.94\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.2610966057441253 0.2610966057441253) rotate(0) translate(4 1192)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.26 0.26) rotate(0) translate(4 1192)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-1192 2791,-1192 2791,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1343\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1366\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -11540,12 +11544,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"312pt\"\n",
        " viewBox=\"0.00 0.00 729.00 311.94\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.2610966057441253 0.2610966057441253) rotate(0) translate(4 1192)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.26 0.26) rotate(0) translate(4 1192)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-1192 2791,-1192 2791,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"1343\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\">Fin(</text>\n",
        "<text text-anchor=\"start\" x=\"1366\" y=\"-1173.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -12328,7 +12332,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00521bc0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814e9b60> >"
       ]
      },
      "execution_count": 45,
@@ -12392,7 +12396,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -12448,15 +12452,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"242pt\" height=\"163pt\"\n",
@@ -12562,7 +12568,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -12687,7 +12693,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00522160> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814ea760> >"
       ]
      },
      "execution_count": 47,
@@ -12716,7 +12722,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"618pt\" height=\"250pt\"\n",
@@ -12900,7 +12906,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"618pt\" height=\"250pt\"\n",
@@ -13081,7 +13087,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005214d0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ea370> >"
       ]
      },
      "execution_count": 48,
@@ -13123,7 +13129,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -13179,15 +13185,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"242pt\" height=\"163pt\"\n",
@@ -13293,7 +13301,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"283pt\"\n",
@@ -13418,7 +13426,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00521e60> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814eafa0> >"
       ]
      },
      "execution_count": 49,
@@ -13442,7 +13450,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"606pt\" height=\"230pt\"\n",
@@ -13605,7 +13613,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"606pt\" height=\"230pt\"\n",
@@ -13765,7 +13773,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522310> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814eac70> >"
       ]
      },
      "execution_count": 50,
@@ -13801,7 +13809,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -13920,7 +13928,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -14036,7 +14044,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522970> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ebba0> >"
       ]
      },
      "execution_count": 51,
@@ -14080,7 +14088,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"140pt\" height=\"262pt\"\n",
@@ -14151,7 +14159,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: zielonka_tree Pages: 1 -->\n",
        "<svg width=\"140pt\" height=\"262pt\"\n",
@@ -14219,7 +14227,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f2d00522c40> >"
+       "<spot.zielonka_tree; proxy of <Swig Object of type 'spot::zielonka_tree *' at 0x7f7180d08060> >"
       ]
      },
      "execution_count": 52,
@@ -14243,7 +14251,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"366pt\" height=\"238pt\"\n",
@@ -14388,7 +14396,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"366pt\" height=\"238pt\"\n",
@@ -14530,7 +14538,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00522ac0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d08360> >"
       ]
      },
      "execution_count": 53,
@@ -14564,7 +14572,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"147pt\" height=\"283pt\"\n",
@@ -14604,15 +14612,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"356pt\" height=\"233pt\"\n",
@@ -14753,7 +14763,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"147pt\" height=\"283pt\"\n",
@@ -14850,7 +14860,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00522760> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f7180d08570> >"
       ]
      },
      "execution_count": 55,
@@ -14897,7 +14907,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"220pt\" height=\"237pt\"\n",
@@ -14997,7 +15007,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"220pt\" height=\"237pt\"\n",
@@ -15094,7 +15104,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523150> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814ebd80> >"
       ]
      },
      "execution_count": 57,
@@ -15118,7 +15128,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"378pt\" height=\"160pt\"\n",
@@ -15244,7 +15254,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"378pt\" height=\"160pt\"\n",
@@ -15367,7 +15377,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523240> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d08ab0> >"
       ]
      },
      "execution_count": 58,
@@ -15411,7 +15421,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"152pt\" height=\"283pt\"\n",
@@ -15467,15 +15477,17 @@
       ],
       "text/html": [
        "<style>\n",
-       ".acdhigh ellipse,.acdacc ellipse,.acdacc path,.acdacc polygon{stroke:green;}\n",
-       ".acdhigh polygon,.acdrej ellipse,.acdrej path,.acdrej polygon{stroke:red;}\n",
+       ".acdhigh ellipse,.acdacc ellipse{stroke:green;fill:rgb(220,255,220);}\n",
+       ".acdhigh polygon,.acdrej ellipse{stroke:red;fill:rgb(255,220,220);}\n",
+       ".acdacc polygon,.acdacc path{stroke:green;filter:drop-shadow(green 0 0 2px);}\n",
+       ".acdrej polygon,.acdrej path{stroke:red;filter:drop-shadow(red 0 0 2px);}\n",
        ".acdbold ellipse,.acdbold polygon,.acdbold path{stroke-width:2;}\n",
        ".acdrej polygon{fill:red;}\n",
        ".acdacc polygon{fill:green;}\n",
        "</style><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"500pt\" height=\"190pt\"\n",
@@ -15615,7 +15627,7 @@
        "</div><div><?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Title: acd Pages: 1 -->\n",
        "<svg width=\"152pt\" height=\"283pt\"\n",
@@ -15738,7 +15750,7 @@
        "</script>"
       ],
       "text/plain": [
-       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f2d00523ab0> >"
+       "<spot.acd; proxy of <Swig Object of type 'spot::acd *' at 0x7f71814eaa60> >"
       ]
      },
      "execution_count": 60,
@@ -15769,7 +15781,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"486pt\" height=\"166pt\"\n",
@@ -15869,7 +15881,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"486pt\" height=\"166pt\"\n",
@@ -15966,7 +15978,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005239c0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0a160> >"
       ]
      },
      "execution_count": 61,
@@ -15990,7 +16002,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"494pt\" height=\"165pt\"\n",
@@ -16099,7 +16111,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"494pt\" height=\"165pt\"\n",
@@ -16205,7 +16217,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d005238a0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0a580> >"
       ]
      },
      "execution_count": 62,
@@ -16229,12 +16241,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"342pt\"\n",
        " viewBox=\"0.00 0.00 729.00 342.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.8064516129032259 0.8064516129032259) rotate(0) translate(4 420)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.81 0.81) rotate(0) translate(4 420)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-420 899.79,-420 899.79,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"400.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\">Inf(</text>\n",
        "<text text-anchor=\"start\" x=\"421.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -16488,12 +16500,12 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"729pt\" height=\"342pt\"\n",
        " viewBox=\"0.00 0.00 729.00 342.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.8064516129032259 0.8064516129032259) rotate(0) translate(4 420)\">\n",
+       "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.81 0.81) rotate(0) translate(4 420)\">\n",
        "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-420 899.79,-420 899.79,4 -4,4\"/>\n",
        "<text text-anchor=\"start\" x=\"400.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\">Inf(</text>\n",
        "<text text-anchor=\"start\" x=\"421.4\" y=\"-401.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#1f78b4\">⓿</text>\n",
@@ -16744,7 +16756,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523720> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0aa60> >"
       ]
      },
      "execution_count": 63,
@@ -16778,7 +16790,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"137pt\"\n",
@@ -16841,7 +16853,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"170pt\" height=\"137pt\"\n",
@@ -16901,7 +16913,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00523fc0> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f71814e94d0> >"
       ]
      },
      "execution_count": 64,
@@ -16959,7 +16971,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"163pt\" height=\"117pt\"\n",
@@ -17015,7 +17027,7 @@
        "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
        "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
        " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
-       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       "<!-- Generated by graphviz version 2.42.4 (0)\n",
        " -->\n",
        "<!-- Pages: 1 -->\n",
        "<svg width=\"163pt\" height=\"117pt\"\n",
@@ -17068,7 +17080,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d00550090> >"
+       "<spot.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f7180d0b720> >"
       ]
      },
      "execution_count": 66,
@@ -17126,7 +17138,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.11.8"
+   "version": "3.12.7"
   }
  },
  "nbformat": 4,