diff --git a/doc/org/.dir-locals.el b/doc/org/.dir-locals.el
index 06b36defe..25978d85c 100644
--- a/doc/org/.dir-locals.el
+++ b/doc/org/.dir-locals.el
@@ -9,7 +9,7 @@
 							 path-separator
 							 "$PATH sh"))
 		      (setenv "SPOT_DOTDEFAULT" "brf(Lato)")
-		      (setenv "SPOT_DOTEXTRA" "node[style=filled, fillcolor=\"#ffffa0\"]")
+		      (setenv "SPOT_DOTEXTRA" "node[style=filled, fillcolor=\"#ffffa0\"] edge[arrowhead=vee, arrowsize=.7]")
 		      (org-babel-do-load-languages 'org-babel-load-languages
 						   '((sh . t)
 						     (python . t)
diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org
index d8556b013..2ff3e5452 100644
--- a/doc/org/autfilt.org
+++ b/doc/org/autfilt.org
@@ -320,7 +320,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -361,7 +361,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label=<0<br/><font color="#B276B2">❸</font>>]
@@ -422,7 +422,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -466,7 +466,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -512,7 +512,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -558,7 +558,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -597,7 +597,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -630,7 +630,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
diff --git a/doc/org/dstar2tgba.org b/doc/org/dstar2tgba.org
index 45c234bc7..c2b1651e9 100644
--- a/doc/org/dstar2tgba.org
+++ b/doc/org/dstar2tgba.org
@@ -108,16 +108,16 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 1
-  0 [label="0", peripheries=2]
+  0 [label=<0<br/><font color="#5DA5DA">⓿</font>>]
   0 -> 0 [label=<b>]
   0 -> 2 [label=<!b>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 0 [label=<a>]
   1 -> 1 [label=<!a>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 0 [label=<b>]
   2 -> 2 [label=<!b>]
 }
@@ -216,7 +216,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
diff --git a/doc/org/init.el.in b/doc/org/init.el.in
index e0b1a7a6a..83337b547 100644
--- a/doc/org/init.el.in
+++ b/doc/org/init.el.in
@@ -25,7 +25,8 @@
       (concat "PATH=@abs_top_builddir@/src/bin" path-separator "$PATH sh"))
 
 (setenv "SPOT_DOTDEFAULT" "brf(Lato)")
-(setenv "SPOT_DOTEXTRA" "node[style=filled, fillcolor=\"#ffffa0\"]")
+(setenv "SPOT_DOTEXTRA"
+ "node[style=filled, fillcolor=\"#ffffa0\"] edge[arrowhead=vee, arrowsize=.7]")
 
 (setq org-export-html-home/up-format
 "<div id=\"org-div-home-and-up\" style=\"text-align:center;white-space:nowrap;\">
diff --git a/doc/org/ltl2tgba.org b/doc/org/ltl2tgba.org
index c03ca5fbf..d4d7f0c64 100644
--- a/doc/org/ltl2tgba.org
+++ b/doc/org/ltl2tgba.org
@@ -64,7 +64,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 1
   0 [label="0"]
@@ -108,7 +108,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -143,18 +143,18 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
-  0 [label="0", peripheries=2]
+  0 [label=<0<br/><font color="#5DA5DA">⓿</font>>]
   0 -> 0 [label=<a &amp; b>]
   0 -> 1 [label=<!b>]
   0 -> 2 [label=<!a &amp; b>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 0 [label=<a &amp; b>]
   1 -> 1 [label=<!b>]
   1 -> 2 [label=<!a &amp; b>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 0 [label=<a>]
   2 -> 2 [label=<!a>]
 }
@@ -190,7 +190,7 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
   0 [label="0"]
@@ -266,18 +266,18 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
-  0 [label="0", peripheries=2]
+  0 [label=<0<br/><font color="#5DA5DA">⓿</font>>]
   0 -> 0 [label=<a∧b>]
   0 -> 1 [label=<b̅>]
   0 -> 2 [label=<a̅∧b>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 0 [label=<a∧b>]
   1 -> 1 [label=<b̅>]
   1 -> 2 [label=<a̅∧b>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 0 [label=<a>]
   2 -> 2 [label=<a̅>]
 }
@@ -386,18 +386,18 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
-  0 [label="0"]
+  0 [label=<0>]
   0 -> 1 [label=<a>]
   0 -> 2 [label=<b>]
   0 -> 3 [label=<c>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 1 [label=<a>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 2 [label=<b>]
-  3 [label="3"]
+  3 [label=<3>]
   3 -> 3 [label=<c>]
 }
 #+end_example
@@ -419,28 +419,28 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 6
-  0 [label="0", peripheries=2]
+  0 [label=<0<br/><font color="#5DA5DA">⓿</font>>]
   0 -> 0 [label=<c>]
-  1 [label="1", peripheries=2]
+  1 [label=<1<br/><font color="#5DA5DA">⓿</font>>]
   1 -> 0 [label=<!b &amp; c>]
   1 -> 1 [label=<b &amp; c>]
   1 -> 2 [label=<b &amp; !c>]
-  2 [label="2", peripheries=2]
+  2 [label=<2<br/><font color="#5DA5DA">⓿</font>>]
   2 -> 2 [label=<b>]
-  3 [label="3", peripheries=2]
+  3 [label=<3<br/><font color="#5DA5DA">⓿</font>>]
   3 -> 2 [label=<!a &amp; b>]
   3 -> 3 [label=<a &amp; b>]
   3 -> 5 [label=<a &amp; !b>]
-  4 [label="4", peripheries=2]
+  4 [label=<4<br/><font color="#5DA5DA">⓿</font>>]
   4 -> 0 [label=<!a &amp; c>]
   4 -> 4 [label=<a &amp; c>]
   4 -> 5 [label=<a &amp; !c>]
-  5 [label="5", peripheries=2]
+  5 [label=<5<br/><font color="#5DA5DA">⓿</font>>]
   5 -> 5 [label=<a>]
-  6 [label="6", peripheries=2]
+  6 [label=<6<br/><font color="#5DA5DA">⓿</font>>]
   6 -> 0 [label=<!a &amp; !b &amp; c>]
   6 -> 1 [label=<!a &amp; b &amp; c>]
   6 -> 2 [label=<!a &amp; b &amp; !c>]
@@ -613,17 +613,17 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 0
-  0 [label="0"]
+  0 [label=<0>]
   0 -> 1 [label=<1>]
   0 -> 3 [label=<c>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 2 [label=<a>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 2 [label=<1>]
-  3 [label="3"]
+  3 [label=<3>]
   3 -> 3 [label=<c>]
 }
 #+end_example
@@ -647,19 +647,19 @@ digraph G {
   fontname="Lato"
   node [fontname="Lato"]
   edge [fontname="Lato"]
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 3
-  0 [label="0"]
+  0 [label=<0>]
   0 -> 0 [label=<1>]
-  1 [label="1"]
+  1 [label=<1>]
   1 -> 0 [label=<a>]
-  2 [label="2"]
+  2 [label=<2>]
   2 -> 2 [label=<c>]
-  3 [label="3"]
+  3 [label=<3>]
   3 -> 1 [label=<!c>]
   3 -> 4 [label=<c>]
-  4 [label="4"]
+  4 [label=<4>]
   4 -> 0 [label=<a>]
   4 -> 2 [label=<!a &amp; c>]
 }
diff --git a/doc/org/oaut.org b/doc/org/oaut.org
index 085c5d721..ef0b21761 100644
--- a/doc/org/oaut.org
+++ b/doc/org/oaut.org
@@ -823,7 +823,7 @@ The dot output can also be customized via two environment variables:
 
 #+BEGIN_SRC sh :results verbatim :exports code
 export SPOT_DOTDEFAULT='brf(Lato)'
-export SPOT_DOTEXTRA='node[style=filled, fillcolor="#ffffa0"]'
+export SPOT_DOTEXTRA='node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]'
 #+END_SRC
 
 * Statistics
@@ -911,7 +911,7 @@ digraph G {
   rankdir=LR
   label="TGBA for a U b"
   labelloc="t"
-  node[style=filled, fillcolor="#ffffa0"]
+  node[style=filled, fillcolor="#ffffa0"] edge[arrowhead=vee, arrowsize=.7]
   I [label="", style=invis, width=0]
   I -> 1
   0 [label="0", peripheries=2]
diff --git a/wrap/python/tests/automata.ipynb b/wrap/python/tests/automata.ipynb
index 5e4af9139..07dc0bf1a 100644
--- a/wrap/python/tests/automata.ipynb
+++ b/wrap/python/tests/automata.ipynb
@@ -17,7 +17,8 @@
    "pygments_lexer": "ipython3",
    "version": "3.4.2"
   },
-  "name": ""
+  "name": "",
+  "signature": "sha256:8277d563756e7b9333f4900705ae07524e2902b49f4c79ceb40739a865a177c4"
  },
  "nbformat": 3,
  "nbformat_minor": 0,
@@ -33,7 +34,7 @@
       "# the environment variable the first time it reads them, so\n",
       "# if you change those variables, the new values will be ignored\n",
       "# until you restart the kernel.\n",
-      "os.environ['SPOT_DOTEXTRA'] = 'size=\"10.2,5\" node[style=filled,fillcolor=\"#ffffaa\"]'\n",
+      "os.environ['SPOT_DOTEXTRA'] = 'size=\"10.2,5\" node[style=filled,fillcolor=\"#ffffaa\"] edge[arrowhead=vee, arrowsize=.7]'\n",
       "os.environ['SPOT_DOTDEFAULT'] = 'rbcf(Lato)'\n",
       "import spot"
      ],
@@ -75,13 +76,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-73C2.67247,-73 15.0966,-73 27.6277,-73\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-76.5001 37.9419,-73 27.9418,-69.5001 27.9419,-76.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-73C2.79388,-73 17.1543,-73 30.6317,-73\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-73 30.9419,-76.1501 34.4419,-73 30.9419,-73.0001 30.9419,-73.0001 30.9419,-73.0001 34.4419,-73 30.9418,-69.8501 37.9419,-73 37.9419,-73\"/>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-90.0373C48.3189,-99.8579 50.4453,-109 56,-109 59.4717,-109 61.6042,-105.429 62.3975,-100.353\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-100.031 62.3792,-90.0373 58.8971,-100.044 65.8971,-100.031\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-90.0373C48.3189,-99.8579 50.4453,-109 56,-109 60.166,-109 62.4036,-103.858 62.7128,-97.1433\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"62.3792,-90.0373 65.8541,-96.8818 62.5434,-93.5335 62.7076,-97.0296 62.7076,-97.0296 62.7076,-97.0296 62.5434,-93.5335 59.561,-97.1774 62.3792,-90.0373 62.3792,-90.0373\"/>\n",
         "<text text-anchor=\"start\" x=\"37.5\" y=\"-112.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1 -->\n",
@@ -92,8 +93,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>0&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M73.1662,-78.5294C90.8684,-84.5843 119.771,-94.4701 142.573,-102.269\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"141.645,-105.651 152.239,-105.575 143.91,-99.0274 141.645,-105.651\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M73.1662,-78.5294C91.6622,-84.8558 122.386,-95.3645 145.603,-103.305\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"152.239,-105.575 144.597,-106.29 148.928,-104.443 145.616,-103.31 145.616,-103.31 145.616,-103.31 148.928,-104.443 146.636,-100.329 152.239,-105.575 152.239,-105.575\"/>\n",
         "<text text-anchor=\"start\" x=\"108\" y=\"-102.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
@@ -103,14 +104,14 @@
         "</g>\n",
         "<!-- 0&#45;&gt;4 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>0&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M72.6709,-65.8097C92.862,-56.5454 128.196,-40.3331 152.056,-29.3854\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"153.566,-32.5435 161.195,-25.1921 150.647,-26.1813 153.566,-32.5435\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M72.6709,-65.8097C93.5799,-56.216 130.728,-39.1714 154.557,-28.2381\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"161.195,-25.1921 156.147,-30.9743 158.014,-26.6517 154.833,-28.1113 154.833,-28.1113 154.833,-28.1113 158.014,-26.6517 153.519,-25.2483 161.195,-25.1921 161.195,-25.1921\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-60.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g id=\"edge5\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M166.755,-138.917C165.845,-149.666 169.55,-158.87 177.87,-158.87 183.33,-158.87 186.803,-154.906 188.288,-149.143\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"191.797,-149.132 188.985,-138.917 184.813,-148.655 191.797,-149.132\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M166.755,-138.917C165.845,-149.666 169.55,-158.87 177.87,-158.87 184.24,-158.87 187.905,-153.475 188.865,-146.122\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"188.985,-138.917 192.018,-145.969 188.927,-142.416 188.868,-145.916 188.868,-145.916 188.868,-145.916 188.927,-142.416 185.719,-145.863 188.985,-138.917 188.985,-138.917\"/>\n",
         "<text text-anchor=\"start\" x=\"160.87\" y=\"-162.67\" font-family=\"Lato\" font-size=\"14.00\">c &amp; d</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -120,8 +121,8 @@
         "</g>\n",
         "<!-- 1&#45;&gt;2 -->\n",
         "<g id=\"edge6\" class=\"edge\"><title>1&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M199.294,-130.585C225.134,-149.491 271.166,-176.285 311.74,-164 338.307,-155.956 364.199,-137.198 381.339,-122.781\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"383.757,-125.316 389.014,-116.117 379.168,-120.03 383.757,-125.316\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M199.294,-130.585C225.134,-149.491 271.166,-176.285 311.74,-164 339.514,-155.591 366.551,-135.471 383.621,-120.843\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"389.014,-116.117 385.825,-123.1 386.382,-118.424 383.749,-120.73 383.749,-120.73 383.749,-120.73 386.382,-118.424 381.674,-118.361 389.014,-116.117 389.014,-116.117\"/>\n",
         "<text text-anchor=\"start\" x=\"274.74\" y=\"-171.8\" font-family=\"Lato\" font-size=\"14.00\">!c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -131,51 +132,51 @@
         "</g>\n",
         "<!-- 1&#45;&gt;3 -->\n",
         "<g id=\"edge7\" class=\"edge\"><title>1&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M204.905,-114.011C220.073,-113.765 239.54,-113.015 256.74,-111 259.511,-110.675 262.388,-110.253 265.252,-109.776\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"266.164,-113.166 275.351,-107.89 264.879,-106.285 266.164,-113.166\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M204.905,-114.011C220.073,-113.765 239.54,-113.015 256.74,-111 260.466,-110.564 264.386,-109.95 268.205,-109.265\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"275.351,-107.89 269.073,-112.306 271.915,-108.551 268.478,-109.213 268.478,-109.213 268.478,-109.213 271.915,-108.551 267.882,-106.12 275.351,-107.89 275.351,-107.89\"/>\n",
         "<text text-anchor=\"start\" x=\"233.24\" y=\"-117.8\" font-family=\"Lato\" font-size=\"14.00\">!d</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;4 -->\n",
         "<g id=\"edge13\" class=\"edge\"><title>4&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M167.719,-33.1666C164.643,-43.6641 168.026,-54 177.87,-54 184.33,-54 188.008,-49.5487 188.904,-43.5216\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"192.358,-42.8334 188.021,-33.1666 185.383,-43.4277 192.358,-42.8334\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M167.719,-33.1666C164.643,-43.6641 168.026,-54 177.87,-54 185.407,-54 189.157,-47.9413 189.12,-40.39\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"188.021,-33.1666 192.188,-39.6135 188.548,-36.6269 189.074,-40.0871 189.074,-40.0871 189.074,-40.0871 188.548,-36.6269 185.96,-40.5607 188.021,-33.1666 188.021,-33.1666\"/>\n",
         "<text text-anchor=\"middle\" x=\"177.87\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;1 -->\n",
         "<g id=\"edge8\" class=\"edge\"><title>2&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M387.536,-93.9733C364.34,-78.8215 316.703,-52.7835 274.74,-62 250.741,-67.271 226.439,-80.5594 208.307,-92.3829\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"206.267,-89.5371 199.93,-98.0279 210.179,-95.342 206.267,-89.5371\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M387.536,-93.9733C364.34,-78.8215 316.703,-52.7835 274.74,-62 249.65,-67.5106 224.229,-81.784 205.874,-93.9852\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"199.93,-98.0279 203.947,-91.4863 202.824,-96.0594 205.718,-94.0909 205.718,-94.0909 205.718,-94.0909 202.824,-96.0594 207.49,-96.6954 199.93,-98.0279 199.93,-98.0279\"/>\n",
         "<text text-anchor=\"start\" x=\"289.74\" y=\"-65.8\" font-family=\"Lato\" font-size=\"14.00\">c</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g id=\"edge9\" class=\"edge\"><title>2&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M393.507,-119.541C390.909,-129.909 393.986,-140 402.74,-140 408.485,-140 411.785,-135.654 412.641,-129.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"416.119,-129.291 411.973,-119.541 409.134,-129.749 416.119,-129.291\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M393.507,-119.541C390.909,-129.909 393.986,-140 402.74,-140 409.442,-140 412.817,-134.085 412.865,-126.659\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"411.973,-119.541 415.969,-126.095 412.408,-123.014 412.843,-126.487 412.843,-126.487 412.843,-126.487 412.408,-123.014 409.718,-126.879 411.973,-119.541 411.973,-119.541\"/>\n",
         "<text text-anchor=\"start\" x=\"397.24\" y=\"-143.8\" font-family=\"Lato\" font-size=\"14.00\">!c</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;1 -->\n",
         "<g id=\"edge10\" class=\"edge\"><title>3&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M276.265,-97.366C270.254,-95.2005 263.288,-93.0768 256.74,-92 241.829,-89.548 237.445,-88.5195 222.74,-92 218.636,-92.9714 214.479,-94.3897 210.442,-96.0458\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"208.946,-92.8817 201.326,-100.243 211.873,-99.2402 208.946,-92.8817\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M276.265,-97.366C270.254,-95.2005 263.288,-93.0768 256.74,-92 241.829,-89.548 237.445,-88.5195 222.74,-92 217.724,-93.1873 212.628,-95.0421 207.771,-97.1827\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"201.326,-100.243 206.298,-94.395 204.487,-98.7417 207.649,-97.2406 207.649,-97.2406 207.649,-97.2406 204.487,-98.7417 209,-100.086 201.326,-100.243 201.326,-100.243\"/>\n",
         "<text text-anchor=\"start\" x=\"222.74\" y=\"-95.8\" font-family=\"Lato\" font-size=\"14.00\">c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;2 -->\n",
         "<g id=\"edge11\" class=\"edge\"><title>3&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M311.512,-104C328.438,-104 354.502,-104 374.273,-104\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"374.511,-107.5 384.511,-104 374.511,-100.5 374.511,-107.5\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M311.512,-104C329.378,-104 357.426,-104 377.507,-104\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"384.511,-104 377.511,-107.15 381.011,-104 377.511,-104 377.511,-104 377.511,-104 381.011,-104 377.511,-100.85 384.511,-104 384.511,-104\"/>\n",
         "<text text-anchor=\"start\" x=\"329.74\" y=\"-107.8\" font-family=\"Lato\" font-size=\"14.00\">!c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g id=\"edge12\" class=\"edge\"><title>3&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M284.261,-119.916C281.919,-130.15 284.912,-140 293.24,-140 298.705,-140 301.873,-135.758 302.743,-129.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"306.236,-129.72 302.219,-119.916 299.245,-130.085 306.236,-129.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M284.261,-119.916C281.919,-130.15 284.912,-140 293.24,-140 299.616,-140 302.865,-134.226 302.987,-126.927\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"302.219,-119.916 306.112,-126.532 302.6,-123.395 302.981,-126.874 302.981,-126.874 302.981,-126.874 302.6,-123.395 299.85,-127.217 302.219,-119.916 302.219,-119.916\"/>\n",
         "<text text-anchor=\"start\" x=\"286.74\" y=\"-143.8\" font-family=\"Lato\" font-size=\"14.00\">!d</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e403071b0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301e0180> >"
        ]
       }
      ],
@@ -207,13 +208,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge1\"><title>I-&gt;0</title>\n",
-        "<path d=\"M1.04566,-69C1.88296,-69 14.1126,-69 27.573,-69\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"27.9378,-72.5001 37.9378,-69 27.9378,-65.5001 27.9378,-72.5001\" stroke=\"black\"/>\n",
+        "<path d=\"M1.04566,-69C1.94863,-69 16.101,-69 30.7579,-69\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"37.9378,-69 30.9378,-72.1501 34.4378,-69 30.9378,-69.0001 30.9378,-69.0001 30.9378,-69.0001 34.4378,-69 30.9378,-65.8501 37.9378,-69 37.9378,-69\" stroke=\"black\"/>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge2\"><title>0-&gt;0</title>\n",
-        "<path d=\"M57.1448,-86.4099C55.6785,-96.0879 58.2969,-105 65,-105 69.1895,-105 71.7833,-101.519 72.7816,-96.5449\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"76.2824,-96.4351 72.8552,-86.4099 69.2826,-96.3842 76.2824,-96.4351\" stroke=\"black\"/>\n",
+        "<path d=\"M57.1448,-86.4099C55.6785,-96.0879 58.2969,-105 65,-105 69.9226,-105 72.6423,-100.194 73.1591,-93.8073\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"72.8552,-86.4099 76.2899,-93.2747 72.9989,-89.9069 73.1426,-93.404 73.1426,-93.404 73.1426,-93.404 72.9989,-89.9069 69.9953,-93.5333 72.8552,-86.4099 72.8552,-86.4099\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"65\" y=\"-108.8\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1 -->\n",
@@ -224,8 +225,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge3\"><title>0-&gt;1</title>\n",
-        "<path d=\"M89.7777,-76.1512C109.694,-82.1411 138.477,-90.7975 161.495,-97.7204\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"160.704,-101.137 171.288,-100.666 162.72,-94.4338 160.704,-101.137\" stroke=\"black\"/>\n",
+        "<path d=\"M89.7777,-76.1512C110.587,-82.4097 141.076,-91.5792 164.556,-98.6409\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"171.288,-100.666 163.678,-101.666 167.937,-99.6576 164.585,-98.6495 164.585,-98.6495 164.585,-98.6495 167.937,-99.6576 165.492,-95.633 171.288,-100.666 171.288,-100.666\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"130.5\" y=\"-96.8\">b</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
@@ -235,14 +236,14 @@
         "</g>\n",
         "<!-- 0&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge4\"><title>0-&gt;4</title>\n",
-        "<path d=\"M88.8635,-60.2328C110.274,-52.0226 142.49,-39.6691 166.556,-30.4408\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"167.906,-33.6719 175.99,-26.8235 165.4,-27.1359 167.906,-33.6719\" stroke=\"black\"/>\n",
+        "<path d=\"M88.8635,-60.2328C111.131,-51.6942 145.085,-38.6741 169.404,-29.3489\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"175.99,-26.8235 170.582,-32.271 172.722,-28.0766 169.454,-29.3298 169.454,-29.3298 169.454,-29.3298 172.722,-28.0766 168.326,-26.3886 175.99,-26.8235 175.99,-26.8235\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"130.5\" y=\"-54.8\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge5\"><title>1-&gt;1</title>\n",
-        "<path d=\"M188.354,-129.581C186.743,-139.845 190.625,-149 200,-149 206.006,-149 209.757,-145.243 211.254,-139.844\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"214.762,-139.707 211.646,-129.581 207.767,-139.44 214.762,-139.707\" stroke=\"black\"/>\n",
+        "<path d=\"M188.354,-129.581C186.743,-139.845 190.625,-149 200,-149 207.031,-149 210.973,-143.85 211.824,-136.945\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"211.646,-129.581 214.964,-136.502 211.73,-133.08 211.815,-136.579 211.815,-136.579 211.815,-136.579 211.73,-133.08 208.666,-136.655 211.646,-129.581 211.646,-129.581\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"200\" y=\"-152.8\">c &amp; d</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -252,8 +253,8 @@
         "</g>\n",
         "<!-- 1&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge6\"><title>1-&gt;2</title>\n",
-        "<path d=\"M222.782,-123.932C241.9,-136.075 270.957,-152.26 299,-159 322.335,-164.609 329.885,-165.458 353,-159 380.696,-151.262 408.36,-133.43 427.375,-119.205\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"429.683,-121.845 435.472,-112.972 425.413,-116.298 429.683,-121.845\" stroke=\"black\"/>\n",
+        "<path d=\"M222.782,-123.932C241.9,-136.075 270.957,-152.26 299,-159 322.335,-164.609 329.885,-165.458 353,-159 381.944,-150.914 410.852,-131.803 429.891,-117.306\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"435.472,-112.972 431.875,-119.753 432.708,-115.119 429.943,-117.265 429.943,-117.265 429.943,-117.265 432.708,-115.119 428.011,-114.777 435.472,-112.972 435.472,-112.972\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"326\" y=\"-166.8\">!c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -263,51 +264,51 @@
         "</g>\n",
         "<!-- 1&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge7\"><title>1-&gt;3</title>\n",
-        "<path d=\"M231.069,-108.727C246.096,-108.374 264.539,-107.612 281,-106 283.721,-105.734 286.529,-105.407 289.349,-105.043\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"290.071,-108.475 299.474,-103.594 289.079,-101.546 290.071,-108.475\" stroke=\"black\"/>\n",
+        "<path d=\"M231.069,-108.727C246.096,-108.374 264.539,-107.612 281,-106 284.659,-105.642 288.476,-105.175 292.266,-104.653\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"299.474,-103.594 293.006,-107.728 296.011,-104.102 292.548,-104.611 292.548,-104.611 292.548,-104.611 296.011,-104.102 292.09,-101.495 299.474,-103.594 299.474,-103.594\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"265\" y=\"-111.8\">!d</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge13\"><title>4-&gt;4</title>\n",
-        "<path d=\"M188.75,-34.6641C186.25,-44.625 190,-54 200,-54 206.406,-54 210.247,-50.1525 211.524,-44.7682\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"215.02,-44.5656 211.25,-34.6641 208.022,-44.7552 215.02,-44.5656\" stroke=\"black\"/>\n",
+        "<path d=\"M188.75,-34.6641C186.25,-44.625 190,-54 200,-54 207.5,-54 211.484,-48.7266 211.953,-41.8876\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"211.25,-34.6641 215.063,-41.3259 211.589,-38.1476 211.928,-41.6311 211.928,-41.6311 211.928,-41.6311 211.589,-38.1476 208.793,-41.9363 211.25,-34.6641 211.25,-34.6641\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"200\" y=\"-57.8\">1</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge8\"><title>2-&gt;1</title>\n",
-        "<path d=\"M431.922,-87.6352C412.452,-77.3145 381.724,-62.8411 353,-57 329.481,-52.2175 322.402,-51.6745 299,-57 274.468,-62.5828 249.456,-76.007 230.841,-87.8168\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"228.696,-85.0376 222.246,-93.4432 232.53,-90.8942 228.696,-85.0376\" stroke=\"black\"/>\n",
+        "<path d=\"M431.922,-87.6352C412.452,-77.3145 381.724,-62.8411 353,-57 329.481,-52.2175 322.402,-51.6745 299,-57 273.353,-62.8365 247.181,-77.2435 228.343,-89.4163\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"222.246,-93.4432 226.351,-86.9567 225.167,-91.5141 228.087,-89.585 228.087,-89.585 228.087,-89.585 225.167,-91.5141 229.823,-92.2134 222.246,-93.4432 222.246,-93.4432\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"326\" y=\"-60.8\">c</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge9\"><title>2-&gt;2</title>\n",
-        "<path d=\"M442.102,-115.664C439.68,-125.625 443.312,-135 453,-135 459.206,-135 462.927,-131.152 464.164,-125.768\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"467.66,-125.569 463.898,-115.664 460.662,-125.752 467.66,-125.569\" stroke=\"black\"/>\n",
+        "<path d=\"M442.102,-115.664C439.68,-125.625 443.312,-135 453,-135 460.266,-135 464.125,-129.727 464.58,-122.888\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"463.898,-115.664 467.692,-122.337 464.227,-119.149 464.556,-122.633 464.556,-122.633 464.556,-122.633 464.227,-119.149 461.42,-122.929 463.898,-115.664 463.898,-115.664\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"453\" y=\"-138.8\">!c</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge10\"><title>3-&gt;1</title>\n",
-        "<path d=\"M301.585,-90.8211C286.491,-86.65 266.488,-83.1832 249,-87 243.979,-88.0958 238.855,-89.7668 233.914,-91.7084\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"232.497,-88.508 224.713,-95.6958 235.281,-94.9308 232.497,-88.508\" stroke=\"black\"/>\n",
+        "<path d=\"M301.585,-90.8211C286.491,-86.65 266.488,-83.1832 249,-87 243.078,-88.2925 237.012,-90.3852 231.273,-92.7783\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"224.713,-95.6958 229.829,-89.9729 227.911,-94.2735 231.109,-92.8511 231.109,-92.8511 231.109,-92.8511 227.911,-94.2735 232.389,-95.7293 224.713,-95.6958 224.713,-95.6958\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"265\" y=\"-90.8\">c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge11\"><title>3-&gt;2</title>\n",
-        "<path d=\"M353.204,-99C371.371,-99 395.799,-99 415.82,-99\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"415.83,-102.5 425.83,-99 415.83,-95.5001 415.83,-102.5\" stroke=\"black\"/>\n",
+        "<path d=\"M353.204,-99C372.288,-99 398.281,-99 418.815,-99\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"425.83,-99 418.83,-102.15 422.33,-99 418.83,-99.0001 418.83,-99.0001 418.83,-99.0001 422.33,-99 418.83,-95.8501 425.83,-99 425.83,-99\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"389.5\" y=\"-102.8\">!c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge12\"><title>3-&gt;3</title>\n",
-        "<path d=\"M315.453,-115.664C313.109,-125.625 316.625,-135 326,-135 332.006,-135 335.607,-131.152 336.804,-125.768\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"340.3,-125.572 336.547,-115.664 333.302,-125.75 340.3,-125.572\" stroke=\"black\"/>\n",
+        "<path d=\"M315.453,-115.664C313.109,-125.625 316.625,-135 326,-135 333.031,-135 336.767,-129.727 337.206,-122.888\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"336.547,-115.664 340.32,-122.349 336.865,-119.15 337.183,-122.635 337.183,-122.635 337.183,-122.635 336.865,-119.15 334.046,-122.921 336.547,-115.664 336.547,-115.664\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"326\" y=\"-138.8\">!d</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG object>"
+        "<IPython.core.display.SVG at 0x7f873301c0f0>"
        ]
       }
      ],
@@ -351,13 +352,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge1\"><title>I-&gt;0</title>\n",
-        "<path d=\"M1.15491,-44C2.67247,-44 15.0966,-44 27.6277,-44\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"27.9419,-47.5001 37.9419,-44 27.9418,-40.5001 27.9419,-47.5001\" stroke=\"black\"/>\n",
+        "<path d=\"M1.15491,-44C2.79388,-44 17.1543,-44 30.6317,-44\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"37.9419,-44 30.9419,-47.1501 34.4419,-44 30.9419,-44.0001 30.9419,-44.0001 30.9419,-44.0001 34.4419,-44 30.9418,-40.8501 37.9419,-44 37.9419,-44\" stroke=\"black\"/>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge2\"><title>0-&gt;0</title>\n",
-        "<path d=\"M49.6208,-61.0373C48.3189,-70.8579 50.4453,-80 56,-80 59.4717,-80 61.6042,-76.4289 62.3975,-71.3529\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"65.8971,-71.031 62.3792,-61.0373 58.8971,-71.0435 65.8971,-71.031\" stroke=\"black\"/>\n",
+        "<path d=\"M49.6208,-61.0373C48.3189,-70.8579 50.4453,-80 56,-80 60.166,-80 62.4036,-74.8576 62.7128,-68.1433\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"62.3792,-61.0373 65.8541,-67.8818 62.5434,-64.5335 62.7076,-68.0296 62.7076,-68.0296 62.7076,-68.0296 62.5434,-64.5335 59.561,-68.1774 62.3792,-61.0373 62.3792,-61.0373\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"37.5\" y=\"-83.8\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1 -->\n",
@@ -367,8 +368,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge3\"><title>0-&gt;1</title>\n",
-        "<path d=\"M69.7331,-56.2743C88.8864,-74.7373 125.282,-109.821 148.001,-131.721\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"145.787,-134.449 155.415,-138.869 150.645,-129.409 145.787,-134.449\" stroke=\"black\"/>\n",
+        "<path d=\"M69.7331,-56.2743C89.5555,-75.3823 127.846,-112.293 150.33,-133.967\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"155.415,-138.869 148.189,-136.279 152.896,-136.44 150.376,-134.011 150.376,-134.011 150.376,-134.011 152.896,-136.44 152.562,-131.743 155.415,-138.869 155.415,-138.869\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"108\" y=\"-120.8\">b</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
@@ -378,14 +379,14 @@
         "</g>\n",
         "<!-- 0&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge4\"><title>0-&gt;4</title>\n",
-        "<path d=\"M74.3438,-42.4375C92.1015,-40.8377 119.96,-38.3279 140.683,-36.461\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"141.132,-39.9348 150.778,-35.5515 140.504,-32.963 141.132,-39.9348\" stroke=\"black\"/>\n",
+        "<path d=\"M74.3438,-42.4375C92.9975,-40.757 122.797,-38.0723 143.763,-36.1835\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"150.778,-35.5515 144.089,-39.317 147.292,-35.8656 143.806,-36.1797 143.806,-36.1797 143.806,-36.1797 147.292,-35.8656 143.524,-33.0424 150.778,-35.5515 150.778,-35.5515\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"92\" y=\"-44.8\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge5\"><title>1-&gt;1</title>\n",
-        "<path d=\"M160.021,-166.916C157.679,-177.15 160.672,-187 169,-187 174.465,-187 177.633,-182.758 178.503,-176.949\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"181.996,-176.72 177.979,-166.916 175.005,-177.085 181.996,-176.72\" stroke=\"black\"/>\n",
+        "<path d=\"M160.021,-166.916C157.679,-177.15 160.672,-187 169,-187 175.376,-187 178.625,-181.226 178.746,-173.927\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"177.979,-166.916 181.872,-173.532 178.36,-170.395 178.741,-173.874 178.741,-173.874 178.741,-173.874 178.36,-170.395 175.61,-174.217 177.979,-166.916 177.979,-166.916\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"152\" y=\"-205.8\">c &amp; d</text>\n",
         "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"161\" y=\"-190.8\">\u24ff</text>\n",
         "</g>\n",
@@ -396,8 +397,8 @@
         "</g>\n",
         "<!-- 1&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge7\"><title>1-&gt;3</title>\n",
-        "<path d=\"M186.737,-147.555C201.262,-145.401 222.492,-144.312 239,-152 247.042,-155.745 253.973,-162.287 259.521,-169.06\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"257.041,-171.594 265.79,-177.569 262.677,-167.442 257.041,-171.594\" stroke=\"black\"/>\n",
+        "<path d=\"M186.737,-147.555C201.262,-145.401 222.492,-144.312 239,-152 248.114,-156.244 255.801,-164.081 261.667,-171.775\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"265.79,-177.569 259.165,-173.693 263.76,-174.718 261.731,-171.866 261.731,-171.866 261.731,-171.866 263.76,-174.718 264.297,-170.04 265.79,-177.569 265.79,-177.569\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"215.5\" y=\"-170.8\">!d</text>\n",
         "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"214\" y=\"-155.8\">\u24ff</text>\n",
         "</g>\n",
@@ -408,52 +409,52 @@
         "</g>\n",
         "<!-- 1&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge6\"><title>1-&gt;2</title>\n",
-        "<path d=\"M186.385,-144.944C210.438,-136.96 256.512,-125.127 294,-136 320.017,-143.546 345.725,-161.116 362.96,-174.769\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"361.202,-177.854 371.158,-181.479 365.636,-172.437 361.202,-177.854\" stroke=\"black\"/>\n",
+        "<path d=\"M186.385,-144.944C210.438,-136.96 256.512,-125.127 294,-136 321.45,-143.961 348.554,-163.081 365.728,-176.986\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"371.158,-181.479 363.756,-179.443 368.461,-179.247 365.764,-177.016 365.764,-177.016 365.764,-177.016 368.461,-179.247 367.772,-174.589 371.158,-181.479 371.158,-181.479\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"257\" y=\"-154.8\">!c &amp; d</text>\n",
         "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"267.5\" y=\"-139.8\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge10\"><title>3-&gt;1</title>\n",
-        "<path d=\"M257.435,-192.94C242.865,-192.285 221.682,-189.872 205,-182 199.263,-179.293 193.766,-175.349 188.899,-171.176\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"191.057,-168.402 181.368,-164.115 186.269,-173.508 191.057,-168.402\" stroke=\"black\"/>\n",
+        "<path d=\"M257.435,-192.94C242.865,-192.285 221.682,-189.872 205,-182 198.283,-178.83 191.897,-173.966 186.462,-169.024\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"181.368,-164.115 188.595,-166.704 183.889,-166.544 186.409,-168.972 186.409,-168.972 186.409,-168.972 183.889,-166.544 184.223,-171.241 181.368,-164.115 181.368,-164.115\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"205\" y=\"-195.8\">c &amp; d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge12\"><title>3-&gt;3</title>\n",
-        "<path d=\"M266.521,-208.916C264.179,-219.15 267.172,-229 275.5,-229 280.965,-229 284.133,-224.758 285.003,-218.949\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"288.496,-218.72 284.479,-208.916 281.505,-219.085 288.496,-218.72\" stroke=\"black\"/>\n",
+        "<path d=\"M266.521,-208.916C264.179,-219.15 267.172,-229 275.5,-229 281.876,-229 285.125,-223.226 285.246,-215.927\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"284.479,-208.916 288.372,-215.532 284.86,-212.395 285.241,-215.874 285.241,-215.874 285.241,-215.874 284.86,-212.395 282.11,-216.217 284.479,-208.916 284.479,-208.916\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"269\" y=\"-232.8\">!d</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge11\"><title>3-&gt;2</title>\n",
-        "<path d=\"M293.772,-193C310.698,-193 336.762,-193 356.533,-193\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"356.771,-196.5 366.771,-193 356.771,-189.5 356.771,-196.5\" stroke=\"black\"/>\n",
+        "<path d=\"M293.772,-193C311.638,-193 339.686,-193 359.767,-193\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"366.771,-193 359.771,-196.15 363.271,-193 359.771,-193 359.771,-193 359.771,-193 363.271,-193 359.771,-189.85 366.771,-193 366.771,-193\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"312\" y=\"-196.8\">!c &amp; d</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge8\"><title>2-&gt;1</title>\n",
-        "<path d=\"M372.089,-205.642C349.996,-227.482 300.914,-268.52 257,-253 221.196,-240.347 195.691,-202.391 181.901,-176.524\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"184.85,-174.602 177.192,-167.28 178.613,-177.779 184.85,-174.602\" stroke=\"black\"/>\n",
+        "<path d=\"M372.089,-205.642C349.996,-227.482 300.914,-268.52 257,-253 219.934,-239.901 193.906,-199.684 180.487,-173.836\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"177.192,-167.28 183.15,-172.121 178.764,-170.408 180.336,-173.535 180.336,-173.535 180.336,-173.535 178.764,-170.408 177.521,-174.949 177.192,-167.28 177.192,-167.28\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"272\" y=\"-259.8\">c</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge9\"><title>2-&gt;2</title>\n",
-        "<path d=\"M375.767,-208.541C373.169,-218.909 376.246,-229 385,-229 390.745,-229 394.045,-224.654 394.9,-218.736\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"398.379,-218.291 394.233,-208.541 391.394,-218.749 398.379,-218.291\" stroke=\"black\"/>\n",
+        "<path d=\"M375.767,-208.541C373.169,-218.909 376.246,-229 385,-229 391.702,-229 395.077,-223.085 395.124,-215.659\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"394.233,-208.541 398.229,-215.095 394.668,-212.014 395.103,-215.487 395.103,-215.487 395.103,-215.487 394.668,-212.014 391.977,-215.879 394.233,-208.541 394.233,-208.541\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"379.5\" y=\"-232.8\">!c</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge13\"><title>4-&gt;4</title>\n",
-        "<path d=\"M160.021,-49.916C157.679,-60.1504 160.672,-70 169,-70 174.465,-70 177.633,-65.7581 178.503,-59.9494\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"181.996,-59.7198 177.979,-49.916 175.005,-60.0851 181.996,-59.7198\" stroke=\"black\"/>\n",
+        "<path d=\"M160.021,-49.916C157.679,-60.1504 160.672,-70 169,-70 175.376,-70 178.625,-64.2263 178.746,-56.9268\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"177.979,-49.916 181.872,-56.5315 178.36,-53.3952 178.741,-56.8744 178.741,-56.8744 178.741,-56.8744 178.36,-53.3952 175.61,-57.2174 177.979,-49.916 177.979,-49.916\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"169\" y=\"-73.8\">1</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG object>"
+        "<IPython.core.display.SVG at 0x7f8730135c88>"
        ]
       }
      ],
@@ -515,13 +516,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;1 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-26.8701C2.67247,-26.8701 15.0966,-26.8701 27.6277,-26.8701\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-30.3702 37.9419,-26.8701 27.9418,-23.3702 27.9419,-30.3702\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-26.8701C2.79388,-26.8701 17.1543,-26.8701 30.6317,-26.8701\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-26.8701 30.9419,-30.0202 34.4419,-26.8701 30.9419,-26.8702 30.9419,-26.8702 30.9419,-26.8702 34.4419,-26.8701 30.9418,-23.7202 37.9419,-26.8701 37.9419,-26.8701\"/>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-43.9074C48.3189,-53.728 50.4453,-62.8701 56,-62.8701 59.4717,-62.8701 61.6042,-59.2989 62.3975,-54.223\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-53.9011 62.3792,-43.9074 58.8971,-53.9136 65.8971,-53.9011\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-43.9074C48.3189,-53.728 50.4453,-62.8701 56,-62.8701 60.166,-62.8701 62.4036,-57.7276 62.7128,-51.0134\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"62.3792,-43.9074 65.8541,-50.7519 62.5434,-47.4035 62.7076,-50.8997 62.7076,-50.8997 62.7076,-50.8997 62.5434,-47.4035 59.561,-51.0474 62.3792,-43.9074 62.3792,-43.9074\"/>\n",
         "<text text-anchor=\"start\" x=\"37.5\" y=\"-66.6701\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 0 -->\n",
@@ -532,21 +533,21 @@
         "</g>\n",
         "<!-- 1&#45;&gt;0 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>1&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M74.3603,-26.8701C84.186,-26.8701 96.8523,-26.8701 108.733,-26.8701\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"108.88,-30.3702 118.879,-26.8701 108.879,-23.3702 108.88,-30.3702\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M74.3603,-26.8701C84.98,-26.8701 98.9179,-26.8701 111.595,-26.8701\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"118.879,-26.8701 111.88,-30.0202 115.379,-26.8701 111.879,-26.8702 111.879,-26.8702 111.879,-26.8702 115.379,-26.8701 111.879,-23.7202 118.879,-26.8701 118.879,-26.8701\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-30.6701\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M136.949,-52.2401C136.334,-62.7939 139.308,-71.7401 145.87,-71.7401 150.177,-71.7401 152.938,-67.8873 154.153,-62.2557\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"157.648,-62.4423 154.791,-52.2401 150.662,-61.9974 157.648,-62.4423\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M136.949,-52.2401C136.334,-62.7939 139.308,-71.7401 145.87,-71.7401 150.894,-71.7401 153.815,-66.496 154.632,-59.3013\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"154.791,-52.2401 157.783,-59.3092 154.712,-55.7392 154.633,-59.2383 154.633,-59.2383 154.633,-59.2383 154.712,-55.7392 151.484,-59.1674 154.791,-52.2401 154.791,-52.2401\"/>\n",
         "<text text-anchor=\"middle\" x=\"145.87\" y=\"-75.5401\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005c9c0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301b6990> >"
        ]
       }
      ],
@@ -585,13 +586,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;1 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-26.8701C2.67247,-26.8701 15.0966,-26.8701 27.6277,-26.8701\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-30.3702 37.9419,-26.8701 27.9418,-23.3702 27.9419,-30.3702\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-26.8701C2.79388,-26.8701 17.1543,-26.8701 30.6317,-26.8701\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-26.8701 30.9419,-30.0202 34.4419,-26.8701 30.9419,-26.8702 30.9419,-26.8702 30.9419,-26.8702 34.4419,-26.8701 30.9418,-23.7202 37.9419,-26.8701 37.9419,-26.8701\"/>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-43.9074C48.3189,-53.728 50.4453,-62.8701 56,-62.8701 59.4717,-62.8701 61.6042,-59.2989 62.3975,-54.223\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-53.9011 62.3792,-43.9074 58.8971,-53.9136 65.8971,-53.9011\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-43.9074C48.3189,-53.728 50.4453,-62.8701 56,-62.8701 60.166,-62.8701 62.4036,-57.7276 62.7128,-51.0134\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"62.3792,-43.9074 65.8541,-50.7519 62.5434,-47.4035 62.7076,-50.8997 62.7076,-50.8997 62.7076,-50.8997 62.5434,-47.4035 59.561,-51.0474 62.3792,-43.9074 62.3792,-43.9074\"/>\n",
         "<text text-anchor=\"start\" x=\"37.5\" y=\"-66.6701\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 0 -->\n",
@@ -602,21 +603,21 @@
         "</g>\n",
         "<!-- 1&#45;&gt;0 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>1&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M74.3603,-26.8701C84.186,-26.8701 96.8523,-26.8701 108.733,-26.8701\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"108.88,-30.3702 118.879,-26.8701 108.879,-23.3702 108.88,-30.3702\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M74.3603,-26.8701C84.98,-26.8701 98.9179,-26.8701 111.595,-26.8701\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"118.879,-26.8701 111.88,-30.0202 115.379,-26.8701 111.879,-26.8702 111.879,-26.8702 111.879,-26.8702 115.379,-26.8701 111.879,-23.7202 118.879,-26.8701 118.879,-26.8701\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-30.6701\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M136.949,-52.2401C136.334,-62.7939 139.308,-71.7401 145.87,-71.7401 150.177,-71.7401 152.938,-67.8873 154.153,-62.2557\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"157.648,-62.4423 154.791,-52.2401 150.662,-61.9974 157.648,-62.4423\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M136.949,-52.2401C136.334,-62.7939 139.308,-71.7401 145.87,-71.7401 150.894,-71.7401 153.815,-66.496 154.632,-59.3013\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"154.791,-52.2401 157.783,-59.3092 154.712,-55.7392 154.633,-59.2383 154.633,-59.2383 154.633,-59.2383 154.712,-55.7392 151.484,-59.1674 154.791,-52.2401 154.791,-52.2401\"/>\n",
         "<text text-anchor=\"middle\" x=\"145.87\" y=\"-75.5401\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005cbd0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301b6bd0> >"
        ]
       }
      ],
@@ -655,13 +656,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;1 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-18C2.67247,-18 15.0966,-18 27.6277,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-21.5001 37.9419,-18 27.9418,-14.5001 27.9419,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-18C2.79388,-18 17.1543,-18 30.6317,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-18 30.9419,-21.1501 34.4419,-18 30.9419,-18.0001 30.9419,-18.0001 30.9419,-18.0001 34.4419,-18 30.9418,-14.8501 37.9419,-18 37.9419,-18\"/>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-35.0373C48.3189,-44.8579 50.4453,-54 56,-54 59.4717,-54 61.6042,-50.4289 62.3975,-45.3529\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-45.031 62.3792,-35.0373 58.8971,-45.0435 65.8971,-45.031\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-35.0373C48.3189,-44.8579 50.4453,-54 56,-54 60.166,-54 62.4036,-48.8576 62.7128,-42.1433\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"62.3792,-35.0373 65.8541,-41.8818 62.5434,-38.5335 62.7076,-42.0296 62.7076,-42.0296 62.7076,-42.0296 62.5434,-38.5335 59.561,-42.1774 62.3792,-35.0373 62.3792,-35.0373\"/>\n",
         "<text text-anchor=\"start\" x=\"37.5\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 0 -->\n",
@@ -671,21 +672,21 @@
         "</g>\n",
         "<!-- 1&#45;&gt;0 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>1&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M74.1418,-18C84.2871,-18 97.3664,-18 108.883,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"108.892,-21.5001 118.892,-18 108.892,-14.5001 108.892,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M74.1418,-18C85.1153,-18 99.5214,-18 111.67,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"118.892,-18 111.892,-21.1501 115.392,-18 111.892,-18.0001 111.892,-18.0001 111.892,-18.0001 115.392,-18 111.892,-14.8501 118.892,-18 118.892,-18\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-21.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M129.969,-34.6641C128.406,-44.625 130.75,-54 137,-54 141.004,-54 143.405,-50.1525 144.202,-44.7682\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"147.7,-44.6033 144.031,-34.6641 140.701,-44.7219 147.7,-44.6033\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M129.969,-34.6641C128.406,-44.625 130.75,-54 137,-54 141.688,-54 144.178,-48.7266 144.471,-41.8876\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"144.031,-34.6641 147.601,-41.4598 144.244,-38.1576 144.456,-41.6511 144.456,-41.6511 144.456,-41.6511 144.244,-38.1576 141.312,-41.8425 144.031,-34.6641 144.031,-34.6641\"/>\n",
         "<text text-anchor=\"middle\" x=\"137\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005ca20> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301b6a20> >"
        ]
       }
      ],
@@ -740,8 +741,8 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge1\"><title>I-&gt;0</title>\n",
-        "<path d=\"M136,-167.845C136,-166.328 136,-153.903 136,-141.372\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"139.5,-141.058 136,-131.058 132.5,-141.058 139.5,-141.058\" stroke=\"black\"/>\n",
+        "<path d=\"M136,-167.845C136,-166.206 136,-151.846 136,-138.368\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"136,-131.058 139.15,-138.058 136,-134.558 136,-138.058 136,-138.058 136,-138.058 136,-134.558 132.85,-138.058 136,-131.058 136,-131.058\" stroke=\"black\"/>\n",
         "</g>\n",
         "<!-- 1 -->\n",
         "<g class=\"node\" id=\"node3\"><title>1</title>\n",
@@ -751,8 +752,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge2\"><title>0-&gt;1</title>\n",
-        "<path d=\"M119.594,-98.0938C103.169,-84.1718 77.609,-62.5067 58.1564,-46.0183\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"60.3951,-43.3277 50.5036,-39.5316 55.8689,-48.6675 60.3951,-43.3277\" stroke=\"black\"/>\n",
+        "<path d=\"M119.594,-98.0938C102.512,-83.6149 75.5496,-60.7611 55.8524,-44.0653\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"50.5036,-39.5316 57.8803,-41.6549 53.1736,-41.7947 55.8435,-44.0578 55.8435,-44.0578 55.8435,-44.0578 53.1736,-41.7947 53.8067,-46.4608 50.5036,-39.5316 50.5036,-39.5316\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"96.5\" y=\"-65.8\">c</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -763,8 +764,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge3\"><title>0-&gt;2</title>\n",
-        "<path d=\"M136,-94.8399C136,-83.4407 136,-68.1336 136,-54.5781\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"139.5,-54.1905 136,-44.1905 132.5,-54.1906 139.5,-54.1905\" stroke=\"black\"/>\n",
+        "<path d=\"M136,-94.8399C136,-82.5378 136,-65.6842 136,-51.3928\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"136,-44.1905 139.15,-51.1905 136,-47.6905 136,-51.1905 136,-51.1905 136,-51.1905 136,-47.6905 132.85,-51.1906 136,-44.1905 136,-44.1905\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"139.5\" y=\"-65.8\">a</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -775,33 +776,33 @@
         "</g>\n",
         "<!-- 0&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge4\"><title>0-&gt;3</title>\n",
-        "<path d=\"M152.406,-98.0938C168.831,-84.1718 194.391,-62.5067 213.844,-46.0183\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"216.131,-48.6675 221.496,-39.5316 211.605,-43.3277 216.131,-48.6675\" stroke=\"black\"/>\n",
+        "<path d=\"M152.406,-98.0938C169.488,-83.6149 196.45,-60.7611 216.148,-44.0653\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"221.496,-39.5316 218.193,-46.4608 218.826,-41.7947 216.157,-44.0578 216.157,-44.0578 216.157,-44.0578 218.826,-41.7947 214.12,-41.6549 221.496,-39.5316 221.496,-39.5316\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"197.5\" y=\"-65.8\">b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge5\"><title>1-&gt;1</title>\n",
-        "<path d=\"M59.6885,-30.5913C70.7806,-30.9731 80,-28.1094 80,-22 80,-17.8953 75.8382,-15.2556 69.7429,-14.0811\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"69.8998,-10.5839 59.6885,-13.4087 69.4326,-17.5683 69.8998,-10.5839\" stroke=\"black\"/>\n",
+        "<path d=\"M59.6885,-30.5913C70.7806,-30.9731 80,-28.1094 80,-22 80,-17.3225 74.5958,-14.5475 67.0844,-13.6751\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"59.6885,-13.4087 66.7974,-10.5128 63.1862,-13.5347 66.684,-13.6607 66.684,-13.6607 66.684,-13.6607 63.1862,-13.5347 66.5705,-16.8087 59.6885,-13.4087 59.6885,-13.4087\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"83.5\" y=\"-18.3\">c</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge6\"><title>2-&gt;2</title>\n",
-        "<path d=\"M164.689,-30.5913C175.781,-30.9731 185,-28.1094 185,-22 185,-17.8953 180.838,-15.2556 174.743,-14.0811\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"174.9,-10.5839 164.689,-13.4087 174.433,-17.5683 174.9,-10.5839\" stroke=\"black\"/>\n",
+        "<path d=\"M164.689,-30.5913C175.781,-30.9731 185,-28.1094 185,-22 185,-17.3225 179.596,-14.5475 172.084,-13.6751\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"164.689,-13.4087 171.797,-10.5128 168.186,-13.5347 171.684,-13.6607 171.684,-13.6607 171.684,-13.6607 168.186,-13.5347 171.571,-16.8087 164.689,-13.4087 164.689,-13.4087\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"188.5\" y=\"-18.3\">a</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge7\"><title>3-&gt;3</title>\n",
-        "<path d=\"M269.689,-30.5913C280.781,-30.9731 290,-28.1094 290,-22 290,-17.8953 285.838,-15.2556 279.743,-14.0811\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"279.9,-10.5839 269.689,-13.4087 279.433,-17.5683 279.9,-10.5839\" stroke=\"black\"/>\n",
+        "<path d=\"M269.689,-30.5913C280.781,-30.9731 290,-28.1094 290,-22 290,-17.3225 284.596,-14.5475 277.084,-13.6751\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"269.689,-13.4087 276.797,-10.5128 273.186,-13.5347 276.684,-13.6607 276.684,-13.6607 276.684,-13.6607 273.186,-13.5347 276.571,-16.8087 269.689,-13.4087 269.689,-13.4087\" stroke=\"black\"/>\n",
         "<text font-family=\"Times,serif\" font-size=\"14.00\" text-anchor=\"middle\" x=\"293.5\" y=\"-18.3\">b</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG object>"
+        "<IPython.core.display.SVG at 0x7f87300b6cc0>"
        ]
       }
      ],
@@ -834,13 +835,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;6 -->\n",
         "<g class=\"edge\" id=\"edge1\"><title>I-&gt;6</title>\n",
-        "<path d=\"M300.706,-300.175C300.706,-299.339 300.706,-287.135 300.706,-273.702\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"304.206,-273.359 300.706,-263.359 297.206,-273.359 304.206,-273.359\" stroke=\"black\"/>\n",
+        "<path d=\"M300.706,-300.175C300.706,-299.274 300.706,-285.15 300.706,-270.524\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"300.706,-263.359 303.856,-270.359 300.706,-266.859 300.706,-270.359 300.706,-270.359 300.706,-270.359 300.706,-266.859 297.556,-270.359 300.706,-263.359 300.706,-263.359\" stroke=\"black\"/>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;6 -->\n",
         "<g class=\"edge\" id=\"edge20\"><title>6-&gt;6</title>\n",
-        "<path d=\"M326.527,-244.55C336.884,-245.013 345.576,-242.28 345.576,-236.35 345.576,-232.552 342.009,-230.065 336.722,-228.89\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"336.754,-225.383 326.527,-228.151 336.248,-232.365 336.754,-225.383\" stroke=\"black\"/>\n",
+        "<path d=\"M326.527,-244.55C336.884,-245.013 345.576,-242.28 345.576,-236.35 345.576,-231.903 340.687,-229.254 333.873,-228.403\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"326.527,-228.151 333.631,-225.242 330.025,-228.271 333.523,-228.391 333.523,-228.391 333.523,-228.391 330.025,-228.271 333.415,-231.539 326.527,-228.151 326.527,-228.151\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"345.576\" y=\"-232.65\">a &amp; b &amp; c</text>\n",
         "</g>\n",
         "<!-- 0 -->\n",
@@ -851,8 +852,8 @@
         "</g>\n",
         "<!-- 6&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge14\"><title>6-&gt;0</title>\n",
-        "<path d=\"M274.072,-232.409C208.518,-224.565 42.3069,-200.811 9.70612,-158.48 -4.86736,-139.557 -0.950588,-126.115 9.70612,-104.74 23.8554,-76.3593 54.0293,-55.6979 77.9074,-42.9884\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"79.7046,-46.0011 87.0313,-38.348 76.5312,-39.7617 79.7046,-46.0011\" stroke=\"black\"/>\n",
+        "<path d=\"M274.072,-232.409C208.518,-224.565 42.3069,-200.811 9.70612,-158.48 -4.86736,-139.557 -0.950588,-126.115 9.70612,-104.74 24.4189,-75.2291 56.4579,-54.0645 80.7287,-41.5079\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"87.0313,-38.348 82.1855,-44.3013 83.9025,-39.9167 80.7737,-41.4853 80.7737,-41.4853 80.7737,-41.4853 83.9025,-39.9167 79.3619,-38.6694 87.0313,-38.348 87.0313,-38.348\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"9.70612\" y=\"-127.91\">!a &amp; !b &amp; c</text>\n",
         "</g>\n",
         "<!-- 1 -->\n",
@@ -863,8 +864,8 @@
         "</g>\n",
         "<!-- 6&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge15\"><title>6-&gt;1</title>\n",
-        "<path d=\"M319.29,-216.332C325.246,-209.113 331.201,-200.456 334.706,-191.48 350.896,-150.027 352.547,-98.2919 351.37,-64.2288\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"354.848,-63.6588 350.904,-53.8257 347.855,-63.9725 354.848,-63.6588\" stroke=\"black\"/>\n",
+        "<path d=\"M319.29,-216.332C325.246,-209.113 331.201,-200.456 334.706,-191.48 351.387,-148.77 352.634,-95.147 351.256,-61.1816\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"350.904,-53.8257 354.385,-60.667 351.071,-57.3217 351.238,-60.8177 351.238,-60.8177 351.238,-60.8177 351.071,-57.3217 348.092,-60.9684 350.904,-53.8257 350.904,-53.8257\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"351.706\" y=\"-127.91\">!a &amp; b &amp; !c</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -875,8 +876,8 @@
         "</g>\n",
         "<!-- 6&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge16\"><title>6-&gt;2</title>\n",
-        "<path d=\"M327.292,-231.204C385.67,-221.486 521.925,-195.254 547.706,-158.48 569.897,-126.828 545.826,-83.5626 524.755,-55.6643\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"527.296,-53.2324 518.367,-47.5294 521.79,-57.5558 527.296,-53.2324\" stroke=\"black\"/>\n",
+        "<path d=\"M327.292,-231.204C385.67,-221.486 521.925,-195.254 547.706,-158.48 570.566,-125.873 544.331,-80.9412 522.857,-53.1817\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"518.367,-47.5294 525.187,-51.0507 520.544,-50.2698 522.721,-53.0102 522.721,-53.0102 522.721,-53.0102 520.544,-50.2698 520.255,-54.9697 518.367,-47.5294 518.367,-47.5294\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"555.706\" y=\"-127.91\">a &amp; !b &amp; !c</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -887,8 +888,8 @@
         "</g>\n",
         "<!-- 6&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge17\"><title>6-&gt;3</title>\n",
-        "<path d=\"M275.502,-226.223C254.239,-218.148 223.271,-205.495 197.706,-191.48 178.161,-180.766 157.513,-166.731 141.348,-155.053\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"143.002,-151.926 132.865,-148.843 138.867,-157.574 143.002,-151.926\" stroke=\"black\"/>\n",
+        "<path d=\"M275.502,-226.223C254.239,-218.148 223.271,-205.495 197.706,-191.48 177.075,-180.17 155.215,-165.162 138.697,-153.129\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"132.865,-148.843 140.371,-150.451 135.685,-150.916 138.506,-152.989 138.506,-152.989 138.506,-152.989 135.685,-150.916 136.64,-155.527 132.865,-148.843 132.865,-148.843\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"197.706\" y=\"-180.28\">!a &amp; b &amp; c</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
@@ -899,8 +900,8 @@
         "</g>\n",
         "<!-- 6&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge18\"><title>6-&gt;4</title>\n",
-        "<path d=\"M322.814,-221.065C350.385,-203.25 397.674,-172.693 428.815,-152.571\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"431.03,-155.307 437.53,-146.94 427.231,-149.427 431.03,-155.307\" stroke=\"black\"/>\n",
+        "<path d=\"M322.814,-221.065C351.213,-202.714 400.533,-170.846 431.577,-150.786\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"437.53,-146.94 433.36,-153.384 434.59,-148.839 431.65,-150.739 431.65,-150.739 431.65,-150.739 434.59,-148.839 429.941,-148.093 437.53,-146.94 437.53,-146.94\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"390.706\" y=\"-180.28\">a &amp; b &amp; !c</text>\n",
         "</g>\n",
         "<!-- 5 -->\n",
@@ -911,87 +912,87 @@
         "</g>\n",
         "<!-- 6&#45;&gt;5 -->\n",
         "<g class=\"edge\" id=\"edge19\"><title>6-&gt;5</title>\n",
-        "<path d=\"M286.432,-213.052C282.021,-206.144 277.154,-198.503 272.706,-191.48 266.941,-182.378 260.699,-172.468 255.013,-163.418\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"257.832,-161.326 249.55,-154.718 251.903,-165.048 257.832,-161.326\" stroke=\"black\"/>\n",
+        "<path d=\"M286.432,-213.052C282.021,-206.144 277.154,-198.503 272.706,-191.48 266.401,-181.525 259.524,-170.602 253.429,-160.897\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"249.55,-154.718 255.94,-158.972 251.411,-157.682 253.272,-160.647 253.272,-160.647 253.272,-160.647 251.411,-157.682 250.604,-162.321 249.55,-154.718 249.55,-154.718\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"272.706\" y=\"-180.28\">a &amp; !b &amp; c</text>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge2\"><title>0-&gt;0</title>\n",
-        "<path d=\"M137.076,-36.5344C147.63,-37.2009 156.576,-33.9794 156.576,-26.8701 156.576,-22.2045 152.723,-19.2134 147.092,-17.8967\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"147.293,-14.4023 137.076,-17.2058 146.812,-21.3857 147.293,-14.4023\" stroke=\"black\"/>\n",
+        "<path d=\"M137.076,-36.5344C147.63,-37.2009 156.576,-33.9794 156.576,-26.8701 156.576,-21.4269 151.332,-18.2629 144.137,-17.3778\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"137.076,-17.2058 144.151,-14.2273 140.575,-17.2911 144.074,-17.3764 144.074,-17.3764 144.074,-17.3764 140.575,-17.2911 143.997,-20.5254 137.076,-17.2058 137.076,-17.2058\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"156.576\" y=\"-23.1701\">c</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge3\"><title>1-&gt;1</title>\n",
-        "<path d=\"M374.076,-36.5344C384.63,-37.2009 393.576,-33.9794 393.576,-26.8701 393.576,-22.2045 389.723,-19.2134 384.092,-17.8967\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"384.293,-14.4023 374.076,-17.2058 383.812,-21.3857 384.293,-14.4023\" stroke=\"black\"/>\n",
+        "<path d=\"M374.076,-36.5344C384.63,-37.2009 393.576,-33.9794 393.576,-26.8701 393.576,-21.4269 388.332,-18.2629 381.137,-17.3778\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"374.076,-17.2058 381.151,-14.2273 377.575,-17.2911 381.074,-17.3764 381.074,-17.3764 381.074,-17.3764 377.575,-17.2911 380.997,-20.5254 374.076,-17.2058 374.076,-17.2058\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"393.576\" y=\"-23.1701\">b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge4\"><title>2-&gt;2</title>\n",
-        "<path d=\"M526.076,-36.5344C536.63,-37.2009 545.576,-33.9794 545.576,-26.8701 545.576,-22.2045 541.723,-19.2134 536.092,-17.8967\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"536.293,-14.4023 526.076,-17.2058 535.812,-21.3857 536.293,-14.4023\" stroke=\"black\"/>\n",
+        "<path d=\"M526.076,-36.5344C536.63,-37.2009 545.576,-33.9794 545.576,-26.8701 545.576,-21.4269 540.332,-18.2629 533.137,-17.3778\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"526.076,-17.2058 533.151,-14.2273 529.575,-17.2911 533.074,-17.3764 533.074,-17.3764 533.074,-17.3764 529.575,-17.2911 532.997,-20.5254 526.076,-17.2058 526.076,-17.2058\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"545.576\" y=\"-23.1701\">a</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge5\"><title>3-&gt;0</title>\n",
-        "<path d=\"M111.706,-104.685C111.706,-92.3951 111.706,-77.5066 111.706,-64.1214\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"115.206,-63.7874 111.706,-53.7874 108.206,-63.7875 115.206,-63.7874\" stroke=\"black\"/>\n",
+        "<path d=\"M111.706,-104.685C111.706,-91.4217 111.706,-75.1317 111.706,-60.9711\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"111.706,-53.7874 114.856,-60.7874 111.706,-57.2874 111.706,-60.7874 111.706,-60.7874 111.706,-60.7874 111.706,-57.2874 108.556,-60.7875 111.706,-53.7874 111.706,-53.7874\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"111.706\" y=\"-75.5401\">!b &amp; c</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge6\"><title>3-&gt;1</title>\n",
-        "<path d=\"M129.367,-110.824C143.115,-95.8501 161.377,-76.9951 170.706,-71.7401 215.318,-46.6116 274.154,-35.7408 311.719,-31.1316\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"312.182,-34.6016 321.721,-29.991 311.389,-27.6467 312.182,-34.6016\" stroke=\"black\"/>\n",
+        "<path d=\"M129.367,-110.824C143.115,-95.8501 161.377,-76.9951 170.706,-71.7401 216.462,-45.9673 277.181,-35.1927 314.566,-30.7893\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"321.721,-29.991 315.113,-33.8979 318.242,-30.3791 314.764,-30.7673 314.764,-30.7673 314.764,-30.7673 318.242,-30.3791 314.415,-27.6367 321.721,-29.991 321.721,-29.991\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"170.706\" y=\"-75.5401\">b &amp; !c</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge7\"><title>3-&gt;3</title>\n",
-        "<path d=\"M137.076,-141.274C147.63,-141.941 156.576,-138.72 156.576,-131.61 156.576,-126.945 152.723,-123.954 147.092,-122.637\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"147.293,-119.142 137.076,-121.946 146.812,-126.126 147.293,-119.142\" stroke=\"black\"/>\n",
+        "<path d=\"M137.076,-141.274C147.63,-141.941 156.576,-138.72 156.576,-131.61 156.576,-126.167 151.332,-123.003 144.137,-122.118\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"137.076,-121.946 144.151,-118.967 140.575,-122.031 144.074,-122.116 144.074,-122.116 144.074,-122.116 140.575,-122.031 143.997,-125.266 137.076,-121.946 137.076,-121.946\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"156.576\" y=\"-127.91\">b &amp; c</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge8\"><title>4-&gt;1</title>\n",
-        "<path d=\"M446.809,-107.722C439.535,-96.0823 429.708,-82.2209 418.706,-71.7401 407.676,-61.2324 393.748,-51.8918 381.226,-44.5589\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"382.847,-41.4547 372.418,-39.5861 379.405,-47.5503 382.847,-41.4547\" stroke=\"black\"/>\n",
+        "<path d=\"M446.809,-107.722C439.535,-96.0823 429.708,-82.2209 418.706,-71.7401 406.926,-60.5183 391.842,-50.6276 378.694,-43.0919\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"372.418,-39.5861 380.065,-40.2499 375.474,-41.293 378.529,-42.9999 378.529,-42.9999 378.529,-42.9999 375.474,-41.293 376.993,-45.75 372.418,-39.5861 372.418,-39.5861\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"432.706\" y=\"-75.5401\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge9\"><title>4-&gt;2</title>\n",
-        "<path d=\"M470.382,-106.567C473.158,-100.153 476.1,-93.2065 478.706,-86.7401 481.925,-78.7543 485.25,-70.0979 488.31,-61.9431\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"491.682,-62.9165 491.885,-52.3236 485.121,-60.4775 491.682,-62.9165\" stroke=\"black\"/>\n",
+        "<path d=\"M470.382,-106.567C473.158,-100.153 476.1,-93.2065 478.706,-86.7401 482.314,-77.789 486.056,-67.9953 489.407,-59.0099\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"491.885,-52.3236 492.406,-59.9821 490.669,-55.6054 489.452,-58.8873 489.452,-58.8873 489.452,-58.8873 490.669,-55.6054 486.499,-57.7924 491.885,-52.3236 491.885,-52.3236\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"484.706\" y=\"-75.5401\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge10\"><title>4-&gt;4</title>\n",
-        "<path d=\"M485.076,-141.274C495.63,-141.941 504.576,-138.72 504.576,-131.61 504.576,-126.945 500.723,-123.954 495.092,-122.637\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"495.293,-119.142 485.076,-121.946 494.812,-126.126 495.293,-119.142\" stroke=\"black\"/>\n",
+        "<path d=\"M485.076,-141.274C495.63,-141.941 504.576,-138.72 504.576,-131.61 504.576,-126.167 499.332,-123.003 492.137,-122.118\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"485.076,-121.946 492.151,-118.967 488.575,-122.031 492.074,-122.116 492.074,-122.116 492.074,-122.116 488.575,-122.031 491.997,-125.266 485.076,-121.946 485.076,-121.946\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"504.576\" y=\"-127.91\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 5&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge11\"><title>5-&gt;0</title>\n",
-        "<path d=\"M230.039,-105.277C226.405,-93.8588 220.639,-80.9116 211.706,-71.7401 194.427,-54.0003 168.745,-42.9421 147.735,-36.3657\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"148.433,-32.9236 137.853,-33.4876 146.476,-39.6444 148.433,-32.9236\" stroke=\"black\"/>\n",
+        "<path d=\"M230.039,-105.277C226.405,-93.8588 220.639,-80.9116 211.706,-71.7401 193.563,-53.1133 166.156,-41.853 144.62,-35.4125\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"137.853,-33.4876 145.448,-32.3732 141.22,-34.4453 144.586,-35.403 144.586,-35.403 144.586,-35.403 141.22,-34.4453 143.724,-38.4328 137.853,-33.4876 137.853,-33.4876\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"222.706\" y=\"-75.5401\">!a &amp; c</text>\n",
         "</g>\n",
         "<!-- 5&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge12\"><title>5-&gt;2</title>\n",
-        "<path d=\"M260.115,-120.166C288.475,-108.124 336.745,-87.9124 378.706,-71.7401 407.872,-60.4995 441.294,-48.545 465.773,-39.9586\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"467.063,-43.2158 475.348,-36.6121 464.753,-36.6078 467.063,-43.2158\" stroke=\"black\"/>\n",
+        "<path d=\"M260.115,-120.166C288.475,-108.124 336.745,-87.9124 378.706,-71.7401 409.038,-60.0499 443.975,-47.5875 468.667,-38.9447\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"475.348,-36.6121 469.777,-41.8937 472.043,-37.7659 468.739,-38.9197 468.739,-38.9197 468.739,-38.9197 472.043,-37.7659 467.7,-35.9458 475.348,-36.6121 475.348,-36.6121\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"378.706\" y=\"-75.5401\">a &amp; !c</text>\n",
         "</g>\n",
         "<!-- 5&#45;&gt;5 -->\n",
         "<g class=\"edge\" id=\"edge13\"><title>5-&gt;5</title>\n",
-        "<path d=\"M261.076,-141.274C271.63,-141.941 280.576,-138.72 280.576,-131.61 280.576,-126.945 276.723,-123.954 271.092,-122.637\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"271.293,-119.142 261.076,-121.946 270.812,-126.126 271.293,-119.142\" stroke=\"black\"/>\n",
+        "<path d=\"M261.076,-141.274C271.63,-141.941 280.576,-138.72 280.576,-131.61 280.576,-126.167 275.332,-123.003 268.137,-122.118\" fill=\"none\" stroke=\"black\"/>\n",
+        "<polygon fill=\"black\" points=\"261.076,-121.946 268.151,-118.967 264.575,-122.031 268.074,-122.116 268.074,-122.116 268.074,-122.116 264.575,-122.031 267.997,-125.266 261.076,-121.946 261.076,-121.946\" stroke=\"black\"/>\n",
         "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"280.576\" y=\"-127.91\">a &amp; c</text>\n",
         "</g>\n",
         "</g>\n",
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG object>"
+        "<IPython.core.display.SVG at 0x7f87300d64e0>"
        ]
       }
      ],
@@ -1030,13 +1031,13 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-18C2.67247,-18 15.0966,-18 27.6277,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-21.5001 37.9419,-18 27.9418,-14.5001 27.9419,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-18C2.79388,-18 17.1543,-18 30.6317,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-18 30.9419,-21.1501 34.4419,-18 30.9419,-18.0001 30.9419,-18.0001 30.9419,-18.0001 34.4419,-18 30.9418,-14.8501 37.9419,-18 37.9419,-18\"/>\n",
         "</g>\n",
         "<!-- 0&#45;&gt;0 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-35.0373C48.3189,-44.8579 50.4453,-54 56,-54 59.4717,-54 61.6042,-50.4289 62.3975,-45.3529\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-45.031 62.3792,-35.0373 58.8971,-45.0435 65.8971,-45.031\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M49.6208,-35.0373C48.3189,-44.8579 50.4453,-54 56,-54 60.166,-54 62.4036,-48.8576 62.7128,-42.1433\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"62.3792,-35.0373 65.8541,-41.8818 62.5434,-38.5335 62.7076,-42.0296 62.7076,-42.0296 62.7076,-42.0296 62.5434,-38.5335 59.561,-42.1774 62.3792,-35.0373 62.3792,-35.0373\"/>\n",
         "<text text-anchor=\"start\" x=\"51.5\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</g>\n",
         "<!-- 1 -->\n",
@@ -1046,8 +1047,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>0&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M74.0888,-18C83.659,-18 95.8172,-18 106.677,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"106.959,-21.5001 116.959,-18 106.959,-14.5001 106.959,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M74.0888,-18C84.5562,-18 98.1196,-18 109.693,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"116.959,-18 109.959,-21.1501 113.459,-18 109.959,-18.0001 109.959,-18.0001 109.959,-18.0001 113.459,-18 109.959,-14.8501 116.959,-18 116.959,-18\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-21.8\" font-family=\"Lato\" font-size=\"14.00\">a</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -1057,8 +1058,8 @@
         "</g>\n",
         "<!-- 1&#45;&gt;2 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>1&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M153.178,-18C163.81,-18 177.694,-18 189.796,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"189.847,-21.5001 199.847,-18 189.847,-14.5001 189.847,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M153.178,-18C164.669,-18 179.959,-18 192.693,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"199.847,-18 192.847,-21.1501 196.347,-18 192.847,-18.0001 192.847,-18.0001 192.847,-18.0001 196.347,-18 192.847,-14.8501 199.847,-18 199.847,-18\"/>\n",
         "<text text-anchor=\"start\" x=\"171\" y=\"-21.8\" font-family=\"Lato\" font-size=\"14.00\">!a</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -1068,15 +1069,15 @@
         "</g>\n",
         "<!-- 2&#45;&gt;3 -->\n",
         "<g id=\"edge5\" class=\"edge\"><title>2&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M236.403,-18C248.254,-18 264.183,-18 277.708,-18\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"277.916,-21.5001 287.916,-18 277.916,-14.5001 277.916,-21.5001\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M236.403,-18C249.193,-18 266.732,-18 280.874,-18\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"287.916,-18 280.916,-21.1501 284.416,-18 280.916,-18.0001 280.916,-18.0001 280.916,-18.0001 284.416,-18 280.916,-14.8501 287.916,-18 287.916,-18\"/>\n",
         "<text text-anchor=\"start\" x=\"257.5\" y=\"-36.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "<text text-anchor=\"start\" x=\"254\" y=\"-21.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g id=\"edge6\" class=\"edge\"><title>3&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M298.332,-34.2903C296.483,-44.3892 299.039,-54 306,-54 310.459,-54 313.111,-50.0557 313.955,-44.5656\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"317.446,-44.1887 313.668,-34.2903 310.448,-44.384 317.446,-44.1887\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M298.332,-34.2903C296.483,-44.3892 299.039,-54 306,-54 311.221,-54 313.964,-48.5939 314.229,-41.6304\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"313.668,-34.2903 317.342,-41.0299 313.935,-37.7801 314.201,-41.2699 314.201,-41.2699 314.201,-41.2699 313.935,-37.7801 311.06,-41.5099 313.668,-34.2903 313.668,-34.2903\"/>\n",
         "<text text-anchor=\"start\" x=\"301.5\" y=\"-72.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "<text text-anchor=\"start\" x=\"298\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
@@ -1084,7 +1085,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005cc00> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301b6cc0> >"
        ]
       }
      ],
@@ -1123,8 +1124,8 @@
         "</g>\n",
         "<!-- I&#45;&gt;0 -->\n",
         "<g id=\"edge1\" class=\"edge\"><title>I&#45;&gt;0</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-282C2.67247,-282 15.0966,-282 27.6277,-282\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-285.5 37.9419,-282 27.9418,-278.5 27.9419,-285.5\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1.15491,-282C2.79388,-282 17.1543,-282 30.6317,-282\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"37.9419,-282 30.9419,-285.15 34.4419,-282 30.9419,-282 30.9419,-282 30.9419,-282 34.4419,-282 30.9418,-278.85 37.9419,-282 37.9419,-282\"/>\n",
         "</g>\n",
         "<!-- 1 -->\n",
         "<g id=\"node3\" class=\"node\"><title>1</title>\n",
@@ -1133,8 +1134,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;1 -->\n",
         "<g id=\"edge2\" class=\"edge\"><title>0&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M72.4193,-273.589C89.5736,-264.233 117.504,-248.998 137.518,-238.081\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"139.254,-241.121 146.357,-233.26 135.902,-234.976 139.254,-241.121\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M72.4193,-273.589C90.3498,-263.809 120.054,-247.607 140.185,-236.627\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"146.357,-233.26 141.72,-239.377 143.285,-234.936 140.212,-236.612 140.212,-236.612 140.212,-236.612 143.285,-234.936 138.703,-233.846 146.357,-233.26 146.357,-233.26\"/>\n",
         "<text text-anchor=\"start\" x=\"92\" y=\"-264.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 2 -->\n",
@@ -1144,8 +1145,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;2 -->\n",
         "<g id=\"edge3\" class=\"edge\"><title>0&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M73.874,-285.312C105.727,-291.062 176.828,-301.499 236,-293 239.782,-292.457 243.714,-291.62 247.548,-290.646\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"248.648,-293.972 257.296,-287.851 246.718,-287.243 248.648,-293.972\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M73.874,-285.312C105.727,-291.062 176.828,-301.499 236,-293 240.783,-292.313 245.807,-291.157 250.568,-289.846\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"257.296,-287.851 251.48,-292.861 253.94,-288.846 250.585,-289.841 250.585,-289.841 250.585,-289.841 253.94,-288.846 249.689,-286.821 257.296,-287.851 257.296,-287.851\"/>\n",
         "<text text-anchor=\"start\" x=\"144\" y=\"-299.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 3 -->\n",
@@ -1155,8 +1156,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;3 -->\n",
         "<g id=\"edge4\" class=\"edge\"><title>0&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M66.4817,-266.974C86.5703,-236.695 136.724,-168.943 199,-142 262.31,-114.61 292.001,-103.76 354,-134 364.122,-138.937 372.313,-148.074 378.427,-157.061\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"375.613,-159.166 383.843,-165.838 381.57,-155.49 375.613,-159.166\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M66.4817,-266.974C86.5703,-236.695 136.724,-168.943 199,-142 262.31,-114.61 292.001,-103.76 354,-134 365.071,-139.4 373.832,-149.824 380.091,-159.582\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"383.843,-165.838 377.542,-161.455 382.043,-162.836 380.243,-159.835 380.243,-159.835 380.243,-159.835 382.043,-162.836 382.945,-158.215 383.843,-165.838 383.843,-165.838\"/>\n",
         "<text text-anchor=\"start\" x=\"199\" y=\"-145.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
@@ -1166,8 +1167,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;4 -->\n",
         "<g id=\"edge5\" class=\"edge\"><title>0&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M57.7109,-300.095C60.7583,-350.7 76.8361,-490 161.5,-490 161.5,-490 161.5,-490 334.5,-490 409.803,-490 436.423,-457.369 472,-391 485.846,-365.171 495.573,-332.971 501.301,-310.48\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"504.744,-311.134 503.722,-300.589 497.945,-309.47 504.744,-311.134\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M57.7109,-300.095C60.7583,-350.7 76.8361,-490 161.5,-490 161.5,-490 161.5,-490 334.5,-490 409.803,-490 436.423,-457.369 472,-391 486.472,-364.002 496.445,-330.044 502.054,-307.488\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"503.722,-300.589 505.139,-308.133 502.9,-303.991 502.077,-307.393 502.077,-307.393 502.077,-307.393 502.9,-303.991 499.015,-306.653 503.722,-300.589 503.722,-300.589\"/>\n",
         "<text text-anchor=\"start\" x=\"254\" y=\"-493.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 5 -->\n",
@@ -1177,8 +1178,8 @@
         "</g>\n",
         "<!-- 0&#45;&gt;5 -->\n",
         "<g id=\"edge6\" class=\"edge\"><title>0&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M59.5927,-264.36C69.1541,-202.623 104.85,-0 161.5,-0 161.5,-0 161.5,-0 509.5,-0 572.254,-0 600.855,-86.0511 611.591,-131.544\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"608.191,-132.378 613.783,-141.377 615.024,-130.855 608.191,-132.378\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M59.5927,-264.36C69.1541,-202.623 104.85,-0 161.5,-0 161.5,-0 161.5,-0 509.5,-0 573.575,-0 602.045,-89.7125 612.246,-134.362\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"613.783,-141.377 609.207,-135.213 613.034,-137.958 612.285,-134.539 612.285,-134.539 612.285,-134.539 613.034,-137.958 615.362,-133.865 613.783,-141.377 613.783,-141.377\"/>\n",
         "<text text-anchor=\"start\" x=\"316.5\" y=\"-3.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 6 -->\n",
@@ -1188,158 +1189,158 @@
         "</g>\n",
         "<!-- 0&#45;&gt;6 -->\n",
         "<g id=\"edge7\" class=\"edge\"><title>0&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M56.3587,-300.051C55.3315,-357.603 60.4873,-533 161.5,-533 161.5,-533 161.5,-533 509.5,-533 605.049,-533 616.721,-376.973 617.41,-311.443\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"620.91,-311.392 617.435,-301.383 613.91,-311.374 620.91,-311.392\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M56.3587,-300.051C55.3315,-357.603 60.4873,-533 161.5,-533 161.5,-533 161.5,-533 509.5,-533 606.428,-533 617.041,-372.437 617.433,-308.663\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"617.435,-301.383 620.583,-308.384 617.434,-304.883 617.433,-308.383 617.433,-308.383 617.433,-308.383 617.434,-304.883 614.283,-308.382 617.435,-301.383 617.435,-301.383\"/>\n",
         "<text text-anchor=\"start\" x=\"315\" y=\"-536.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;1 -->\n",
         "<g id=\"edge8\" class=\"edge\"><title>1&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M153.521,-240.916C151.179,-251.15 154.172,-261 162.5,-261 167.965,-261 171.133,-256.758 172.003,-250.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"175.496,-250.72 171.479,-240.916 168.505,-251.085 175.496,-250.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M153.521,-240.916C151.179,-251.15 154.172,-261 162.5,-261 168.876,-261 172.125,-255.226 172.246,-247.927\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"171.479,-240.916 175.372,-247.532 171.86,-244.395 172.241,-247.874 172.241,-247.874 172.241,-247.874 171.86,-244.395 169.11,-248.217 171.479,-240.916 171.479,-240.916\"/>\n",
         "<text text-anchor=\"start\" x=\"145.5\" y=\"-264.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;2 -->\n",
         "<g id=\"edge9\" class=\"edge\"><title>1&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M174.399,-238.625C180.859,-245.896 189.606,-254.461 199,-260 213.583,-268.598 231.778,-274.054 246.536,-277.382\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"246.074,-280.86 256.574,-279.443 247.482,-274.003 246.074,-280.86\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M174.399,-238.625C180.859,-245.896 189.606,-254.461 199,-260 214.575,-269.182 234.268,-274.781 249.495,-278.031\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"256.574,-279.443 249.093,-281.163 253.141,-278.758 249.709,-278.073 249.709,-278.073 249.709,-278.073 253.141,-278.758 250.325,-274.984 256.574,-279.443 256.574,-279.443\"/>\n",
         "<text text-anchor=\"start\" x=\"199\" y=\"-277.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;3 -->\n",
         "<g id=\"edge10\" class=\"edge\"><title>1&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M180.265,-221.838C219.465,-214.445 317.374,-195.98 364.851,-187.026\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"365.532,-190.459 374.71,-185.167 364.235,-183.581 365.532,-190.459\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M180.265,-221.838C220.288,-214.29 321.514,-195.199 367.775,-186.474\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"374.71,-185.167 368.415,-189.559 371.271,-185.815 367.831,-186.464 367.831,-186.464 367.831,-186.464 371.271,-185.815 367.247,-183.368 374.71,-185.167 374.71,-185.167\"/>\n",
         "<text text-anchor=\"start\" x=\"256\" y=\"-210.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;4 -->\n",
         "<g id=\"edge11\" class=\"edge\"><title>1&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M172.479,-209.649C178.749,-200.27 187.958,-188.807 199,-182 280.605,-131.693 320.87,-128.502 413,-155 442.746,-163.556 452.659,-167.835 472,-192 487.02,-210.766 481.177,-220.641 490,-243 491.85,-247.689 493.92,-252.641 495.971,-257.403\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"492.855,-259.013 500.076,-266.765 499.266,-256.202 492.855,-259.013\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M172.479,-209.649C178.749,-200.27 187.958,-188.807 199,-182 280.605,-131.693 320.87,-128.502 413,-155 442.746,-163.556 452.659,-167.835 472,-192 487.02,-210.766 481.177,-220.641 490,-243 492.191,-248.553 494.69,-254.474 497.1,-260.012\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"500.076,-266.765 494.371,-261.63 498.665,-263.563 497.253,-260.36 497.253,-260.36 497.253,-260.36 498.665,-263.563 500.136,-259.09 500.076,-266.765 500.076,-266.765\"/>\n",
         "<text text-anchor=\"start\" x=\"313\" y=\"-144.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;5 -->\n",
         "<g id=\"edge12\" class=\"edge\"><title>1&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M168.516,-208.006C173.818,-192.756 183.579,-170.722 199,-157 218.547,-139.606 228.567,-142.149 254,-136 371.942,-107.483 406.242,-121.118 527,-133 551.471,-135.408 558.612,-131.407 582,-139 585.932,-140.276 589.912,-142.028 593.709,-143.968\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"592.212,-147.143 602.64,-149.015 595.656,-141.048 592.212,-147.143\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M168.516,-208.006C173.818,-192.756 183.579,-170.722 199,-157 218.547,-139.606 228.567,-142.149 254,-136 371.942,-107.483 406.242,-121.118 527,-133 551.471,-135.408 558.612,-131.407 582,-139 586.83,-140.568 591.734,-142.854 596.282,-145.325\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"602.64,-149.015 595.005,-148.226 599.613,-147.258 596.586,-145.501 596.586,-145.501 596.586,-145.501 599.613,-147.258 598.167,-142.777 602.64,-149.015 602.64,-149.015\"/>\n",
         "<text text-anchor=\"start\" x=\"375.5\" y=\"-123.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 1&#45;&gt;6 -->\n",
         "<g id=\"edge13\" class=\"edge\"><title>1&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M168.227,-242.485C175.273,-267.677 188.792,-312.631 199,-326 234.13,-372.011 256.369,-376.996 313,-389 382.136,-403.654 403.101,-406.733 472,-391 524.906,-378.919 541.436,-374.049 582,-338 591.327,-329.711 599.112,-318.361 604.953,-308.123\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"608.121,-309.621 609.76,-299.154 601.951,-306.315 608.121,-309.621\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M168.227,-242.485C175.273,-267.677 188.792,-312.631 199,-326 234.13,-372.011 256.369,-376.996 313,-389 382.136,-403.654 403.101,-406.733 472,-391 524.906,-378.919 541.436,-374.049 582,-338 592.089,-329.034 600.373,-316.487 606.345,-305.64\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"609.76,-299.154 609.286,-306.815 608.129,-302.251 606.499,-305.348 606.499,-305.348 606.499,-305.348 608.129,-302.251 603.711,-303.88 609.76,-299.154 609.76,-299.154\"/>\n",
         "<text text-anchor=\"start\" x=\"374\" y=\"-404.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;1 -->\n",
         "<g id=\"edge14\" class=\"edge\"><title>2&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M263.695,-267.344C256.944,-258.393 247.194,-247.463 236,-241 222.301,-233.091 205.076,-229.088 190.853,-227.064\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"191.009,-223.558 180.67,-225.869 190.194,-230.51 191.009,-223.558\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M263.695,-267.344C256.944,-258.393 247.194,-247.463 236,-241 221.361,-232.548 202.695,-228.557 187.969,-226.674\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"180.67,-225.869 187.973,-223.506 184.149,-226.253 187.628,-226.637 187.628,-226.637 187.628,-226.637 184.149,-226.253 187.282,-229.768 180.67,-225.869 180.67,-225.869\"/>\n",
         "<text text-anchor=\"start\" x=\"200.5\" y=\"-244.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;2 -->\n",
         "<g id=\"edge15\" class=\"edge\"><title>2&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M264.925,-297.541C262.23,-307.909 265.422,-318 274.5,-318 280.458,-318 283.88,-313.654 284.767,-307.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"288.244,-307.281 284.075,-297.541 281.26,-307.756 288.244,-307.281\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M264.925,-297.541C262.23,-307.909 265.422,-318 274.5,-318 281.45,-318 284.95,-312.085 284.999,-304.659\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"284.075,-297.541 288.1,-304.077 284.526,-301.012 284.977,-304.483 284.977,-304.483 284.977,-304.483 284.526,-301.012 281.853,-304.889 284.075,-297.541 284.075,-297.541\"/>\n",
         "<text text-anchor=\"start\" x=\"256\" y=\"-321.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;3 -->\n",
         "<g id=\"edge16\" class=\"edge\"><title>2&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M283.767,-266.383C290.49,-254.757 300.835,-239.052 313,-228 328.464,-213.95 335.98,-215.575 354,-205 358.576,-202.315 363.43,-199.393 368.074,-196.561\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"369.929,-199.529 376.617,-191.312 366.265,-193.565 369.929,-199.529\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M283.767,-266.383C290.49,-254.757 300.835,-239.052 313,-228 328.464,-213.95 335.98,-215.575 354,-205 359.397,-201.833 365.181,-198.337 370.551,-195.047\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"376.617,-191.312 372.308,-197.664 373.637,-193.147 370.657,-194.982 370.657,-194.982 370.657,-194.982 373.637,-193.147 369.005,-192.3 376.617,-191.312 376.617,-191.312\"/>\n",
         "<text text-anchor=\"start\" x=\"315\" y=\"-231.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;4 -->\n",
         "<g id=\"edge17\" class=\"edge\"><title>2&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M292.56,-282.074C332.447,-282.245 432.073,-282.675 480.383,-282.883\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"480.4,-286.383 490.415,-282.926 480.431,-279.383 480.4,-286.383\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M292.56,-282.074C333.285,-282.249 436.286,-282.693 483.359,-282.896\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"490.415,-282.926 483.402,-286.046 486.916,-282.911 483.416,-282.896 483.416,-282.896 483.416,-282.896 486.916,-282.911 483.429,-279.746 490.415,-282.926 490.415,-282.926\"/>\n",
         "<text text-anchor=\"start\" x=\"372\" y=\"-285.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;5 -->\n",
         "<g id=\"edge18\" class=\"edge\"><title>2&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M280.75,-264.887C286.653,-247.539 297.486,-220.539 313,-201 333.676,-174.96 341.248,-167.646 372,-155 446.278,-124.454 544.248,-141.138 590.568,-152.002\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"589.871,-155.435 600.416,-154.41 591.533,-148.635 589.871,-155.435\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M280.75,-264.887C286.653,-247.539 297.486,-220.539 313,-201 333.676,-174.96 341.248,-167.646 372,-155 447.842,-123.811 548.384,-141.861 593.424,-152.68\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"600.416,-154.41 592.864,-155.787 597.019,-153.569 593.621,-152.729 593.621,-152.729 593.621,-152.729 597.019,-153.569 594.378,-149.671 600.416,-154.41 600.416,-154.41\"/>\n",
         "<text text-anchor=\"start\" x=\"434.5\" y=\"-143.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 2&#45;&gt;6 -->\n",
         "<g id=\"edge19\" class=\"edge\"><title>2&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M287.591,-294.625C294.456,-301.07 303.549,-308.484 313,-313 399.658,-354.404 435.08,-370.831 527,-343 553.567,-334.956 579.459,-316.198 596.599,-301.781\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"599.017,-304.316 604.274,-295.117 594.428,-299.03 599.017,-304.316\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M287.591,-294.625C294.456,-301.07 303.549,-308.484 313,-313 399.658,-354.404 435.08,-370.831 527,-343 554.774,-334.591 581.811,-314.471 598.881,-299.843\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"604.274,-295.117 601.085,-302.1 601.642,-297.424 599.009,-299.73 599.009,-299.73 599.009,-299.73 601.642,-297.424 596.933,-297.361 604.274,-295.117 604.274,-295.117\"/>\n",
         "<text text-anchor=\"start\" x=\"433\" y=\"-359.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;1 -->\n",
         "<g id=\"edge20\" class=\"edge\"><title>3&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M374.301,-179.412C348.005,-176.004 296.393,-171.485 254,-181 229.693,-186.456 204.386,-199.485 186.735,-209.958\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"184.47,-207.241 177.771,-215.449 188.126,-213.21 184.47,-207.241\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M374.301,-179.412C348.005,-176.004 296.393,-171.485 254,-181 228.343,-186.759 201.571,-200.956 183.865,-211.678\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"177.771,-215.449 182.066,-209.087 180.747,-213.608 183.723,-211.766 183.723,-211.766 183.723,-211.766 180.747,-213.608 185.381,-214.445 177.771,-215.449 177.771,-215.449\"/>\n",
         "<text text-anchor=\"start\" x=\"257.5\" y=\"-184.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;2 -->\n",
         "<g id=\"edge21\" class=\"edge\"><title>3&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M384.617,-198.245C378.275,-211.641 367.766,-230.422 354,-243 345.639,-250.64 320.461,-262.581 300.85,-271.238\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"299.268,-268.109 291.494,-275.308 302.06,-274.528 299.268,-268.109\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M384.617,-198.245C378.275,-211.641 367.766,-230.422 354,-243 345.219,-251.024 317.889,-263.791 297.94,-272.517\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"291.494,-275.308 296.666,-269.635 294.706,-273.917 297.918,-272.526 297.918,-272.526 297.918,-272.526 294.706,-273.917 299.17,-275.417 291.494,-275.308 291.494,-275.308\"/>\n",
         "<text text-anchor=\"start\" x=\"315\" y=\"-268.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;3 -->\n",
         "<g id=\"edge22\" class=\"edge\"><title>3&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M382.687,-197.167C379.713,-207.664 382.984,-218 392.5,-218 398.745,-218 402.3,-213.549 403.166,-207.522\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"406.622,-206.846 402.313,-197.167 399.646,-207.42 406.622,-206.846\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M382.687,-197.167C379.713,-207.664 382.984,-218 392.5,-218 399.785,-218 403.41,-211.941 403.375,-204.39\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"402.313,-197.167 406.448,-203.634 402.822,-200.629 403.331,-204.092 403.331,-204.092 403.331,-204.092 402.822,-200.629 400.215,-204.55 402.313,-197.167 402.313,-197.167\"/>\n",
         "<text text-anchor=\"start\" x=\"374\" y=\"-221.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;4 -->\n",
         "<g id=\"edge23\" class=\"edge\"><title>3&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M402.231,-197.183C409.049,-208.102 419.309,-222.663 431,-233 446.653,-246.84 454.532,-244.537 472,-256 476.576,-259.003 481.332,-262.406 485.819,-265.76\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"483.933,-268.724 493.999,-272.029 488.191,-263.168 483.933,-268.724\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M402.231,-197.183C409.049,-208.102 419.309,-222.663 431,-233 446.653,-246.84 454.532,-244.537 472,-256 477.398,-259.542 483.045,-263.641 488.207,-267.558\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"493.999,-272.029 486.533,-270.245 491.228,-269.89 488.458,-267.751 488.458,-267.751 488.458,-267.751 491.228,-269.89 490.382,-265.258 493.999,-272.029 493.999,-272.029\"/>\n",
         "<text text-anchor=\"start\" x=\"431\" y=\"-259.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;5 -->\n",
         "<g id=\"edge24\" class=\"edge\"><title>3&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M410.186,-177.389C416.642,-175.765 424.121,-174.077 431,-173 486.958,-164.237 553.277,-160.913 589.677,-159.687\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"590.082,-163.176 599.969,-159.37 589.866,-156.179 590.082,-163.176\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M410.186,-177.389C416.642,-175.765 424.121,-174.077 431,-173 488.646,-163.973 557.288,-160.717 592.89,-159.581\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"599.969,-159.37 593.066,-162.727 596.471,-159.474 592.972,-159.579 592.972,-159.579 592.972,-159.579 596.471,-159.474 592.878,-156.43 599.969,-159.37 599.969,-159.37\"/>\n",
         "<text text-anchor=\"start\" x=\"491.5\" y=\"-168.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 3&#45;&gt;6 -->\n",
         "<g id=\"edge25\" class=\"edge\"><title>3&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M410.49,-183.825C426.702,-185.943 451.607,-190.192 472,-198 518.274,-215.716 566.956,-247.327 594.493,-266.606\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"592.806,-269.7 602.986,-272.633 596.857,-263.991 592.806,-269.7\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M410.49,-183.825C426.702,-185.943 451.607,-190.192 472,-198 519.682,-216.255 569.921,-249.264 596.947,-268.331\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"602.986,-272.633 595.457,-271.137 600.136,-270.602 597.285,-268.571 597.285,-268.571 597.285,-268.571 600.136,-270.602 599.113,-266.006 602.986,-272.633 602.986,-272.633\"/>\n",
         "<text text-anchor=\"start\" x=\"490\" y=\"-227.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;1 -->\n",
         "<g id=\"edge26\" class=\"edge\"><title>4&#45;&gt;1</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M506.342,-301.215C503.871,-322.954 496.141,-358.439 472,-375 456.974,-385.308 449.145,-376.677 431,-375 351.317,-367.635 325.844,-377.242 254,-342 224.607,-327.582 219.126,-318.821 199,-293 188.92,-280.068 180.325,-263.847 174.118,-250.492\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"177.311,-249.06 170.033,-241.361 170.922,-251.919 177.311,-249.06\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M506.342,-301.215C503.871,-322.954 496.141,-358.439 472,-375 456.974,-385.308 449.145,-376.677 431,-375 351.317,-367.635 325.844,-377.242 254,-342 224.607,-327.582 219.126,-318.821 199,-293 188.235,-279.189 179.164,-261.627 172.885,-247.81\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"170.033,-241.361 175.745,-246.488 171.449,-244.562 172.864,-247.763 172.864,-247.763 172.864,-247.763 171.449,-244.562 169.984,-249.037 170.033,-241.361 170.033,-241.361\"/>\n",
         "<text text-anchor=\"start\" x=\"316.5\" y=\"-373.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;2 -->\n",
         "<g id=\"edge27\" class=\"edge\"><title>4&#45;&gt;2</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M491.55,-290.063C485.542,-292.396 478.571,-294.719 472,-296 402.638,-309.517 382.319,-309.734 313,-296 308.974,-295.202 304.809,-294.027 300.785,-292.692\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"301.82,-289.343 291.227,-289.165 299.397,-295.911 301.82,-289.343\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M491.55,-290.063C485.542,-292.396 478.571,-294.719 472,-296 402.638,-309.517 382.319,-309.734 313,-296 308.054,-295.02 302.898,-293.471 298.05,-291.754\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"291.227,-289.165 298.889,-288.703 294.499,-290.406 297.772,-291.648 297.772,-291.648 297.772,-291.648 294.499,-290.406 296.654,-294.593 291.227,-289.165 291.227,-289.165\"/>\n",
         "<text text-anchor=\"start\" x=\"374\" y=\"-309.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;3 -->\n",
         "<g id=\"edge28\" class=\"edge\"><title>4&#45;&gt;3</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M502.475,-265.839C497.166,-250.421 487.401,-228.101 472,-214 467.83,-210.182 440.383,-199.418 419.105,-191.422\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"420.169,-188.084 409.576,-187.87 417.724,-194.643 420.169,-188.084\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M502.475,-265.839C497.166,-250.421 487.401,-228.101 472,-214 467.641,-210.009 437.851,-198.43 416.257,-190.355\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"409.576,-187.87 417.235,-187.358 412.857,-189.09 416.137,-190.31 416.137,-190.31 416.137,-190.31 412.857,-189.09 415.039,-193.263 409.576,-187.87 409.576,-187.87\"/>\n",
         "<text text-anchor=\"start\" x=\"433\" y=\"-217.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;4 -->\n",
         "<g id=\"edge29\" class=\"edge\"><title>4&#45;&gt;4</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M499.267,-298.541C496.669,-308.909 499.746,-319 508.5,-319 514.245,-319 517.545,-314.654 518.4,-308.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"521.879,-308.291 517.733,-298.541 514.894,-308.749 521.879,-308.291\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M499.267,-298.541C496.669,-308.909 499.746,-319 508.5,-319 515.202,-319 518.577,-313.085 518.624,-305.659\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"517.733,-298.541 521.729,-305.095 518.168,-302.014 518.603,-305.487 518.603,-305.487 518.603,-305.487 518.168,-302.014 515.477,-305.879 517.733,-298.541 517.733,-298.541\"/>\n",
         "<text text-anchor=\"start\" x=\"488\" y=\"-322.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;5 -->\n",
         "<g id=\"edge30\" class=\"edge\"><title>4&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M521.004,-269.73C539.675,-248.194 576.715,-205.468 598.929,-179.845\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"601.672,-182.023 605.578,-172.175 596.383,-177.438 601.672,-182.023\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M521.004,-269.73C540.24,-247.541 578.977,-202.859 600.907,-177.563\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"605.578,-172.175 603.373,-179.527 603.286,-174.819 600.993,-177.464 600.993,-177.464 600.993,-177.464 603.286,-174.819 598.613,-175.4 605.578,-172.175 605.578,-172.175\"/>\n",
         "<text text-anchor=\"start\" x=\"546.5\" y=\"-242.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 4&#45;&gt;6 -->\n",
         "<g id=\"edge31\" class=\"edge\"><title>4&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M526.772,-283C543.698,-283 569.762,-283 589.533,-283\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"589.771,-286.5 599.771,-283 589.771,-279.5 589.771,-286.5\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M526.772,-283C544.638,-283 572.686,-283 592.767,-283\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"599.771,-283 592.771,-286.15 596.271,-283 592.771,-283 592.771,-283 592.771,-283 596.271,-283 592.771,-279.85 599.771,-283 599.771,-283\"/>\n",
         "<text text-anchor=\"start\" x=\"545\" y=\"-286.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 5&#45;&gt;5 -->\n",
         "<g id=\"edge32\" class=\"edge\"><title>5&#45;&gt;5</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M608.767,-174.541C606.169,-184.909 609.246,-195 618,-195 623.745,-195 627.045,-190.654 627.9,-184.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"631.379,-184.291 627.233,-174.541 624.394,-184.749 631.379,-184.291\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M608.767,-174.541C606.169,-184.909 609.246,-195 618,-195 624.702,-195 628.077,-189.085 628.124,-181.659\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"627.233,-174.541 631.229,-181.095 627.668,-178.014 628.103,-181.487 628.103,-181.487 628.103,-181.487 627.668,-178.014 624.977,-181.879 627.233,-174.541 627.233,-174.541\"/>\n",
         "<text text-anchor=\"start\" x=\"601\" y=\"-198.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "</g>\n",
         "<!-- 7 -->\n",
@@ -1349,8 +1350,8 @@
         "</g>\n",
         "<!-- 5&#45;&gt;7 -->\n",
         "<g id=\"edge33\" class=\"edge\"><title>5&#45;&gt;7</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M636.072,-158.841C651.587,-158.999 675.034,-159.994 695,-164 698.051,-164.612 701.2,-165.422 704.301,-166.333\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"703.273,-169.679 713.866,-169.47 705.454,-163.028 703.273,-169.679\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M636.072,-158.841C651.587,-158.999 675.034,-159.994 695,-164 698.936,-164.79 703.037,-165.909 706.987,-167.15\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"713.866,-169.47 706.226,-170.218 710.549,-168.352 707.233,-167.233 707.233,-167.233 707.233,-167.233 710.549,-168.352 708.239,-164.248 713.866,-169.47 713.866,-169.47\"/>\n",
         "<text text-anchor=\"start\" x=\"656\" y=\"-167.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 8 -->\n",
@@ -1360,32 +1361,32 @@
         "</g>\n",
         "<!-- 5&#45;&gt;8 -->\n",
         "<g id=\"edge34\" class=\"edge\"><title>5&#45;&gt;8</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M626.246,-175.292C632.397,-187.908 642.108,-205.314 654,-218 668.989,-233.991 689.72,-247.767 705.744,-257.116\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"704.127,-260.222 714.556,-262.091 707.569,-254.127 704.127,-260.222\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M626.246,-175.292C632.397,-187.908 642.108,-205.314 654,-218 669.83,-234.887 692.063,-249.306 708.393,-258.646\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"714.556,-262.091 706.909,-261.425 711.501,-260.383 708.446,-258.675 708.446,-258.675 708.446,-258.675 711.501,-260.383 709.983,-255.926 714.556,-262.091 714.556,-262.091\"/>\n",
         "<text text-anchor=\"start\" x=\"654\" y=\"-253.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;6 -->\n",
         "<g id=\"edge35\" class=\"edge\"><title>6&#45;&gt;6</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M608.767,-298.541C606.169,-308.909 609.246,-319 618,-319 623.745,-319 627.045,-314.654 627.9,-308.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"631.379,-308.291 627.233,-298.541 624.394,-308.749 631.379,-308.291\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M608.767,-298.541C606.169,-308.909 609.246,-319 618,-319 624.702,-319 628.077,-313.085 628.124,-305.659\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"627.233,-298.541 631.229,-305.095 627.668,-302.014 628.103,-305.487 628.103,-305.487 628.103,-305.487 627.668,-302.014 624.977,-305.879 627.233,-298.541 627.233,-298.541\"/>\n",
         "<text text-anchor=\"start\" x=\"599.5\" y=\"-322.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;7 -->\n",
         "<g id=\"edge36\" class=\"edge\"><title>6&#45;&gt;7</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M622.422,-265.333C626.786,-247.328 636.028,-219.738 654,-203 667.449,-190.475 687.084,-183.695 703.028,-180.063\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"703.747,-183.488 712.87,-178.101 702.378,-176.623 703.747,-183.488\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M622.422,-265.333C626.786,-247.328 636.028,-219.738 654,-203 668.217,-189.759 689.349,-182.939 705.723,-179.47\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"712.87,-178.101 706.587,-182.512 709.432,-178.76 705.995,-179.418 705.995,-179.418 705.995,-179.418 709.432,-178.76 705.402,-176.325 712.87,-178.101 712.87,-178.101\"/>\n",
         "<text text-anchor=\"start\" x=\"656\" y=\"-206.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;8 -->\n",
         "<g id=\"edge37\" class=\"edge\"><title>6&#45;&gt;8</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M636.344,-280.969C654.102,-278.889 681.96,-275.626 702.683,-273.199\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"703.253,-276.657 712.778,-272.017 702.439,-269.704 703.253,-276.657\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M636.344,-280.969C654.998,-278.784 684.797,-275.294 705.763,-272.839\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"712.778,-272.017 706.192,-275.96 709.302,-272.424 705.826,-272.831 705.826,-272.831 705.826,-272.831 709.302,-272.424 705.459,-269.703 712.778,-272.017 712.778,-272.017\"/>\n",
         "<text text-anchor=\"start\" x=\"654\" y=\"-281.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 7&#45;&gt;7 -->\n",
         "<g id=\"edge38\" class=\"edge\"><title>7&#45;&gt;7</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M722.021,-191.916C719.679,-202.15 722.672,-212 731,-212 736.465,-212 739.633,-207.758 740.503,-201.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"743.996,-201.72 739.979,-191.916 737.005,-202.085 743.996,-201.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M722.021,-191.916C719.679,-202.15 722.672,-212 731,-212 737.376,-212 740.625,-206.226 740.746,-198.927\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"739.979,-191.916 743.872,-198.532 740.36,-195.395 740.741,-198.874 740.741,-198.874 740.741,-198.874 740.36,-195.395 737.61,-199.217 739.979,-191.916 739.979,-191.916\"/>\n",
         "<text text-anchor=\"start\" x=\"712.5\" y=\"-215.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "</g>\n",
         "<!-- 9 -->\n",
@@ -1395,8 +1396,8 @@
         "</g>\n",
         "<!-- 7&#45;&gt;9 -->\n",
         "<g id=\"edge39\" class=\"edge\"><title>7&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M744.505,-187.995C759.187,-202.494 783.724,-228.064 801,-253 810.187,-266.259 818.627,-282.194 824.971,-295.305\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"821.964,-297.134 829.391,-304.689 828.296,-294.151 821.964,-297.134\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M744.505,-187.995C759.187,-202.494 783.724,-228.064 801,-253 810.907,-267.299 819.947,-284.711 826.425,-298.335\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"829.391,-304.689 823.576,-299.679 827.911,-301.518 826.43,-298.346 826.43,-298.346 826.43,-298.346 827.911,-301.518 829.284,-297.013 829.391,-304.689 829.391,-304.689\"/>\n",
         "<text text-anchor=\"start\" x=\"767\" y=\"-271.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"776\" y=\"-256.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
@@ -1407,42 +1408,42 @@
         "</g>\n",
         "<!-- 7&#45;&gt;10 -->\n",
         "<g id=\"edge40\" class=\"edge\"><title>7&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M749.167,-173.628C773.4,-170.841 818.828,-167.686 856,-177 880.513,-183.142 905.744,-196.894 923.8,-208.27\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"922.253,-211.439 932.546,-213.95 926.066,-205.568 922.253,-211.439\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M749.167,-173.628C773.4,-170.841 818.828,-167.686 856,-177 881.638,-183.424 908.06,-198.171 926.239,-209.819\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"932.546,-213.95 924.964,-212.75 929.618,-212.032 926.69,-210.115 926.69,-210.115 926.69,-210.115 929.618,-212.032 928.416,-207.48 932.546,-213.95 932.546,-213.95\"/>\n",
         "<text text-anchor=\"start\" x=\"819\" y=\"-195.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"829.5\" y=\"-180.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 8&#45;&gt;8 -->\n",
         "<g id=\"edge41\" class=\"edge\"><title>8&#45;&gt;8</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M722.021,-285.916C719.679,-296.15 722.672,-306 731,-306 736.465,-306 739.633,-301.758 740.503,-295.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"743.996,-295.72 739.979,-285.916 737.005,-296.085 743.996,-295.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M722.021,-285.916C719.679,-296.15 722.672,-306 731,-306 737.376,-306 740.625,-300.226 740.746,-292.927\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"739.979,-285.916 743.872,-292.532 740.36,-289.395 740.741,-292.874 740.741,-292.874 740.741,-292.874 740.36,-289.395 737.61,-293.217 739.979,-285.916 739.979,-285.916\"/>\n",
         "<text text-anchor=\"start\" x=\"710.5\" y=\"-309.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "</g>\n",
         "<!-- 8&#45;&gt;9 -->\n",
         "<g id=\"edge42\" class=\"edge\"><title>8&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M747.419,-277.525C764.398,-285.812 791.935,-299.251 811.903,-308.995\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"810.495,-312.203 821.017,-313.444 813.566,-305.913 810.495,-312.203\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M747.419,-277.525C765.17,-286.188 794.46,-300.483 814.577,-310.301\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"821.017,-313.444 813.345,-313.205 817.872,-311.909 814.727,-310.374 814.727,-310.374 814.727,-310.374 817.872,-311.909 816.108,-307.543 821.017,-313.444 821.017,-313.444\"/>\n",
         "<text text-anchor=\"start\" x=\"767\" y=\"-321.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"776\" y=\"-306.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 8&#45;&gt;10 -->\n",
         "<g id=\"edge43\" class=\"edge\"><title>8&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M740.078,-254.24C746.053,-244.436 755.193,-232.653 767,-227 816.356,-203.368 882.185,-211.176 919.777,-218.753\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"919.082,-222.183 929.594,-220.857 920.55,-215.339 919.082,-222.183\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M740.078,-254.24C746.053,-244.436 755.193,-232.653 767,-227 817.622,-202.762 885.572,-211.597 922.612,-219.334\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"929.594,-220.857 922.084,-222.443 926.174,-220.111 922.755,-219.365 922.755,-219.365 922.755,-219.365 926.174,-220.111 923.426,-216.288 929.594,-220.857 929.594,-220.857\"/>\n",
         "<text text-anchor=\"start\" x=\"819\" y=\"-230.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"829.5\" y=\"-215.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 9&#45;&gt;9 -->\n",
         "<g id=\"edge44\" class=\"edge\"><title>9&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M828.521,-336.916C826.179,-347.15 829.172,-357 837.5,-357 842.965,-357 846.133,-352.758 847.003,-346.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"850.496,-346.72 846.479,-336.916 843.505,-347.085 850.496,-346.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M828.521,-336.916C826.179,-347.15 829.172,-357 837.5,-357 843.876,-357 847.125,-351.226 847.246,-343.927\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"846.479,-336.916 850.372,-343.532 846.86,-340.395 847.241,-343.874 847.241,-343.874 847.241,-343.874 846.86,-340.395 844.11,-344.217 846.479,-336.916 846.479,-336.916\"/>\n",
         "<text text-anchor=\"start\" x=\"820.5\" y=\"-375.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"829.5\" y=\"-360.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 9&#45;&gt;10 -->\n",
         "<g id=\"edge45\" class=\"edge\"><title>9&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M842.449,-303.446C847.146,-286.574 856.635,-261.552 874,-247 886.411,-236.6 903.603,-231.331 918.442,-228.671\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"919.344,-232.076 928.729,-227.158 918.326,-225.15 919.344,-232.076\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M842.449,-303.446C847.146,-286.574 856.635,-261.552 874,-247 887.255,-235.893 905.962,-230.639 921.432,-228.164\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"928.729,-227.158 922.224,-231.234 925.262,-227.636 921.794,-228.114 921.794,-228.114 921.794,-228.114 925.262,-227.636 921.364,-224.993 928.729,-227.158 928.729,-227.158\"/>\n",
         "<text text-anchor=\"start\" x=\"874\" y=\"-265.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"884.5\" y=\"-250.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
@@ -1453,8 +1454,8 @@
         "</g>\n",
         "<!-- 9&#45;&gt;11 -->\n",
         "<g id=\"edge46\" class=\"edge\"><title>9&#45;&gt;11</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M839.947,-339.074C843.366,-376.939 853.261,-462.691 874,-482 925.334,-529.795 960.93,-503.936 1030.9,-499 1084.58,-495.213 1111.02,-518.263 1150.79,-482 1169.75,-464.718 1180.9,-393.55 1185.96,-351.508\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1189.44,-351.833 1187.11,-341.497 1182.49,-351.03 1189.44,-351.833\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M839.947,-339.074C843.366,-376.939 853.261,-462.691 874,-482 925.334,-529.795 960.93,-503.936 1030.9,-499 1084.58,-495.213 1111.02,-518.263 1150.79,-482 1170.19,-464.316 1181.41,-390.203 1186.3,-348.617\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1187.11,-341.497 1189.45,-348.809 1186.72,-344.975 1186.32,-348.452 1186.32,-348.452 1186.32,-348.452 1186.72,-344.975 1183.19,-348.095 1187.11,-341.497 1187.11,-341.497\"/>\n",
         "<text text-anchor=\"start\" x=\"991.896\" y=\"-522.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1002.4\" y=\"-507.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
@@ -1465,92 +1466,92 @@
         "</g>\n",
         "<!-- 9&#45;&gt;12 -->\n",
         "<g id=\"edge47\" class=\"edge\"><title>9&#45;&gt;12</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M854.953,-326.076C860.894,-327.667 867.691,-329.213 874,-330 943.195,-338.635 961.625,-337.999 1030.9,-330 1033.77,-329.668 1036.74,-329.201 1039.7,-328.653\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1040.49,-332.062 1049.54,-326.552 1039.03,-325.216 1040.49,-332.062\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M854.953,-326.076C860.894,-327.667 867.691,-329.213 874,-330 943.195,-338.635 961.625,-337.999 1030.9,-330 1034.73,-329.558 1038.73,-328.875 1042.65,-328.079\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1049.54,-326.552 1043.39,-331.141 1046.13,-327.309 1042.71,-328.066 1042.71,-328.066 1042.71,-328.066 1046.13,-327.309 1042.03,-324.99 1049.54,-326.552 1049.54,-326.552\"/>\n",
         "<text text-anchor=\"start\" x=\"929.948\" y=\"-354.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"942.448\" y=\"-339.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 10&#45;&gt;9 -->\n",
         "<g id=\"edge48\" class=\"edge\"><title>10&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M938.445,-243.876C931.44,-254.332 921.692,-267.332 911,-277 908.881,-278.916 882.676,-294.686 862.373,-306.804\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"860.366,-303.926 853.568,-312.052 863.95,-309.939 860.366,-303.926\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M938.445,-243.876C931.44,-254.332 921.692,-267.332 911,-277 908.786,-279.002 880.266,-296.135 859.668,-308.418\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"853.568,-312.052 857.97,-305.763 856.575,-310.261 859.582,-308.47 859.582,-308.47 859.582,-308.47 856.575,-310.261 861.194,-311.176 853.568,-312.052 853.568,-312.052\"/>\n",
         "<text text-anchor=\"start\" x=\"875.5\" y=\"-316.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"884.5\" y=\"-301.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 10&#45;&gt;10 -->\n",
         "<g id=\"edge49\" class=\"edge\"><title>10&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M940.451,-245.077C938.584,-255.682 941.917,-265.448 950.448,-265.448 956.047,-265.448 959.406,-261.242 960.527,-255.354\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"964.025,-255.049 960.446,-245.077 957.025,-255.105 964.025,-255.049\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M940.451,-245.077C938.584,-255.682 941.917,-265.448 950.448,-265.448 956.98,-265.448 960.464,-259.724 960.901,-252.281\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"960.446,-245.077 964.031,-251.865 960.667,-248.57 960.887,-252.063 960.887,-252.063 960.887,-252.063 960.667,-248.57 957.744,-252.262 960.446,-245.077 960.446,-245.077\"/>\n",
         "<text text-anchor=\"start\" x=\"931.948\" y=\"-284.248\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"942.448\" y=\"-269.248\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 10&#45;&gt;11 -->\n",
         "<g id=\"edge50\" class=\"edge\"><title>10&#45;&gt;11</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M968.572,-213.756C975.193,-209.079 982.858,-203.735 989.896,-199 1030,-172.02 1045.42,-147.36 1091.79,-161 1121.71,-169.802 1131.84,-174.229 1150.79,-199 1170.92,-225.309 1180.67,-262.432 1185.28,-288.603\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1181.87,-289.422 1186.91,-298.74 1188.78,-288.311 1181.87,-289.422\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M968.572,-213.756C975.193,-209.079 982.858,-203.735 989.896,-199 1030,-172.02 1045.42,-147.36 1091.79,-161 1121.71,-169.802 1131.84,-174.229 1150.79,-199 1171.73,-226.362 1181.43,-265.419 1185.81,-291.689\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1186.91,-298.74 1182.72,-292.309 1186.37,-295.282 1185.84,-291.823 1185.84,-291.823 1185.84,-291.823 1186.37,-295.282 1188.95,-291.338 1186.91,-298.74 1186.91,-298.74\"/>\n",
         "<text text-anchor=\"start\" x=\"1051.84\" y=\"-179.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1062.34\" y=\"-164.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 10&#45;&gt;12 -->\n",
         "<g id=\"edge51\" class=\"edge\"><title>10&#45;&gt;12</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M962.313,-244.032C969.27,-254.542 979.014,-267.546 989.896,-277 991.047,-278 1019.81,-293.856 1042.4,-306.25\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1040.85,-309.39 1051.3,-311.128 1044.22,-303.252 1040.85,-309.39\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M962.313,-244.032C969.27,-254.542 979.014,-267.546 989.896,-277 991.093,-278.04 1022.16,-295.149 1045.08,-307.72\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1051.3,-311.128 1043.65,-310.526 1048.23,-309.446 1045.16,-307.763 1045.16,-307.763 1045.16,-307.763 1048.23,-309.446 1046.68,-305.001 1051.3,-311.128 1051.3,-311.128\"/>\n",
         "<text text-anchor=\"start\" x=\"989.896\" y=\"-317.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1002.4\" y=\"-302.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 11&#45;&gt;9 -->\n",
         "<g id=\"edge52\" class=\"edge\"><title>11&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1175.79,-336.339C1158.66,-355.709 1127.01,-386.889 1091.79,-399 1047.72,-414.154 960.01,-416.671 929,-407 896.265,-396.791 869.427,-366.357 853.7,-344.593\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"856.425,-342.383 847.845,-336.167 850.677,-346.377 856.425,-342.383\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1175.79,-336.339C1158.66,-355.709 1127.01,-386.889 1091.79,-399 1047.72,-414.154 960.01,-416.671 929,-407 894.956,-396.383 867.29,-363.89 851.866,-342.025\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"847.845,-336.167 854.403,-340.156 849.826,-339.053 851.806,-341.939 851.806,-341.939 851.806,-341.939 849.826,-339.053 849.209,-343.721 847.845,-336.167 847.845,-336.167\"/>\n",
         "<text text-anchor=\"start\" x=\"993.396\" y=\"-430.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"1002.4\" y=\"-415.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 11&#45;&gt;10 -->\n",
         "<g id=\"edge53\" class=\"edge\"><title>11&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1174.22,-305.599C1167.38,-299.452 1159,-292.454 1150.79,-287 1101.17,-254.014 1088.8,-241.065 1030.9,-227 1015.15,-223.175 997.122,-222.65 982.225,-223.202\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"981.801,-219.72 972.008,-223.762 982.185,-226.709 981.801,-219.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1174.22,-305.599C1167.38,-299.452 1159,-292.454 1150.79,-287 1101.17,-254.014 1088.8,-241.065 1030.9,-227 1014.08,-222.915 994.661,-222.594 979.233,-223.329\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"972.008,-223.762 978.807,-220.198 975.502,-223.552 978.996,-223.343 978.996,-223.343 978.996,-223.343 975.502,-223.552 979.184,-226.487 972.008,-223.762 972.008,-223.762\"/>\n",
         "<text text-anchor=\"start\" x=\"1051.84\" y=\"-266.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"1062.34\" y=\"-251.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 11&#45;&gt;11 -->\n",
         "<g id=\"edge54\" class=\"edge\"><title>11&#45;&gt;11</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1179.89,-339.077C1177.95,-349.682 1181.4,-359.448 1190.24,-359.448 1196.04,-359.448 1199.52,-355.242 1200.68,-349.354\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1204.18,-349.048 1200.6,-339.077 1197.18,-349.106 1204.18,-349.048\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1179.89,-339.077C1177.95,-349.682 1181.4,-359.448 1190.24,-359.448 1197.01,-359.448 1200.61,-353.724 1201.07,-346.281\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1200.6,-339.077 1204.2,-345.857 1200.82,-342.57 1201.05,-346.062 1201.05,-346.062 1201.05,-346.062 1200.82,-342.57 1197.91,-346.268 1200.6,-339.077 1200.6,-339.077\"/>\n",
         "<text text-anchor=\"start\" x=\"1171.74\" y=\"-378.248\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1182.24\" y=\"-363.248\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 11&#45;&gt;12 -->\n",
         "<g id=\"edge55\" class=\"edge\"><title>11&#45;&gt;12</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1173.07,-306.515C1166.57,-301.921 1158.73,-297.354 1150.79,-295 1133.32,-289.82 1127.22,-289.662 1109.79,-295 1104.94,-296.486 1100.15,-298.812 1095.69,-301.477\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1093.42,-298.783 1087.06,-307.259 1097.32,-304.598 1093.42,-298.783\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1173.07,-306.515C1166.57,-301.921 1158.73,-297.354 1150.79,-295 1133.32,-289.82 1127.22,-289.662 1109.79,-295 1103.92,-296.798 1098.14,-299.829 1092.92,-303.2\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1087.06,-307.259 1091.02,-300.68 1089.94,-305.264 1092.82,-303.269 1092.82,-303.269 1092.82,-303.269 1089.94,-305.264 1094.61,-305.857 1087.06,-307.259 1087.06,-307.259\"/>\n",
         "<text text-anchor=\"start\" x=\"1109.79\" y=\"-313.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1122.29\" y=\"-298.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 12&#45;&gt;9 -->\n",
         "<g id=\"edge56\" class=\"edge\"><title>12&#45;&gt;9</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1052.16,-333.174C1045.66,-337.507 1038.09,-342.239 1030.9,-346 989.658,-367.544 974.545,-379.504 929,-370 903.68,-364.716 878.057,-349.739 860.569,-337.721\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"862.388,-334.72 852.211,-331.773 858.33,-340.423 862.388,-334.72\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1052.16,-333.174C1045.66,-337.507 1038.09,-342.239 1030.9,-346 989.658,-367.544 974.545,-379.504 929,-370 902.519,-364.474 875.705,-348.345 858.215,-336.087\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"852.211,-331.773 859.734,-333.3 855.054,-333.816 857.896,-335.858 857.896,-335.858 857.896,-335.858 855.054,-333.816 856.058,-338.416 852.211,-331.773 852.211,-331.773\"/>\n",
         "<text text-anchor=\"start\" x=\"933.448\" y=\"-391.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"942.448\" y=\"-376.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 12&#45;&gt;10 -->\n",
         "<g id=\"edge57\" class=\"edge\"><title>12&#45;&gt;10</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1064.53,-300.174C1059.29,-282.284 1049.12,-257.195 1030.9,-243 1017.11,-232.263 998.068,-227.936 982.08,-226.33\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"982.322,-222.839 972.101,-225.628 981.83,-229.821 982.322,-222.839\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1064.53,-300.174C1059.29,-282.284 1049.12,-257.195 1030.9,-243 1016.33,-231.649 995.874,-227.463 979.37,-226.081\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"972.101,-225.628 979.283,-222.919 975.594,-225.845 979.087,-226.063 979.087,-226.063 979.087,-226.063 975.594,-225.845 978.891,-229.207 972.101,-225.628 972.101,-225.628\"/>\n",
         "<text text-anchor=\"start\" x=\"991.896\" y=\"-261.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; b</text>\n",
         "<text text-anchor=\"start\" x=\"1002.4\" y=\"-246.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 12&#45;&gt;11 -->\n",
         "<g id=\"edge58\" class=\"edge\"><title>12&#45;&gt;11</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1091.67,-323.512C1097.51,-324.126 1103.89,-324.694 1109.79,-325 1127.99,-325.944 1132.61,-326.177 1150.79,-325 1153.38,-324.833 1156.06,-324.602 1158.74,-324.332\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1159.41,-327.778 1168.94,-323.139 1158.6,-320.825 1159.41,-327.778\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1091.67,-323.512C1097.51,-324.126 1103.89,-324.694 1109.79,-325 1127.99,-325.944 1132.61,-326.177 1150.79,-325 1154.39,-324.767 1158.17,-324.412 1161.9,-323.996\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1168.94,-323.139 1162.37,-327.113 1165.46,-323.563 1161.99,-323.986 1161.99,-323.986 1161.99,-323.986 1165.46,-323.563 1161.61,-320.859 1168.94,-323.139 1168.94,-323.139\"/>\n",
         "<text text-anchor=\"start\" x=\"1111.79\" y=\"-343.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1122.29\" y=\"-328.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 12&#45;&gt;12 -->\n",
         "<g id=\"edge59\" class=\"edge\"><title>12&#45;&gt;12</title>\n",
-        "<path fill=\"none\" stroke=\"black\" d=\"M1059.99,-340.077C1058.06,-350.682 1061.51,-360.448 1070.34,-360.448 1076.14,-360.448 1079.62,-356.242 1080.78,-350.354\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"1084.28,-350.048 1080.7,-340.077 1077.28,-350.106 1084.28,-350.048\"/>\n",
+        "<path fill=\"none\" stroke=\"black\" d=\"M1059.99,-340.077C1058.06,-350.682 1061.51,-360.448 1070.34,-360.448 1077.11,-360.448 1080.72,-354.724 1081.17,-347.281\"/>\n",
+        "<polygon fill=\"black\" stroke=\"black\" points=\"1080.7,-340.077 1084.3,-346.857 1080.93,-343.57 1081.16,-347.062 1081.16,-347.062 1081.16,-347.062 1080.93,-343.57 1078.01,-347.268 1080.7,-340.077 1080.7,-340.077\"/>\n",
         "<text text-anchor=\"start\" x=\"1049.84\" y=\"-379.248\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\n",
         "<text text-anchor=\"start\" x=\"1062.34\" y=\"-364.248\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</g>\n",
@@ -1558,7 +1559,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005c9f0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f87301b6ba0> >"
        ]
       }
      ],