From bf42ac36999f12fb421117f565611e0fbaa0f0db Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 24 Mar 2015 23:48:34 +0100
Subject: [PATCH] * wrap/python/tests/automata.ipynb: Update for recent
 changes.

---
 wrap/python/tests/automata.ipynb | 400 ++++++++++++++++---------------
 1 file changed, 208 insertions(+), 192 deletions(-)

diff --git a/wrap/python/tests/automata.ipynb b/wrap/python/tests/automata.ipynb
index 40ac404a8..5e4af9139 100644
--- a/wrap/python/tests/automata.ipynb
+++ b/wrap/python/tests/automata.ipynb
@@ -1,7 +1,23 @@
 {
  "metadata": {
-  "name": "",
-  "signature": "sha256:c0ee6809405cd6426445a43cea6fc3448a99423e1a4be95efeda2fa03680f05f"
+  "kernelspec": {
+   "display_name": "Python 3",
+   "language": "python",
+   "name": "python3"
+  },
+  "language_info": {
+   "codemirror_mode": {
+    "name": "ipython",
+    "version": 3
+   },
+   "file_extension": ".py",
+   "mimetype": "text/x-python",
+   "name": "python",
+   "nbconvert_exporter": "python",
+   "pygments_lexer": "ipython3",
+   "version": "3.4.2"
+  },
+  "name": ""
  },
  "nbformat": 3,
  "nbformat_minor": 0,
@@ -17,7 +33,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=\"11,5\" node[style=filled,fillcolor=\"#ffffaa\"]'\n",
+      "os.environ['SPOT_DOTEXTRA'] = 'size=\"10.2,5\" node[style=filled,fillcolor=\"#ffffaa\"]'\n",
       "os.environ['SPOT_DOTDEFAULT'] = 'rbcf(Lato)'\n",
       "import spot"
      ],
@@ -46,120 +62,120 @@
         "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
         " -->\n",
         "<!-- Title: G Pages: 1 -->\n",
-        "<svg width=\"419pt\" height=\"184pt\"\n",
-        " viewBox=\"0.00 0.00 419.00 184.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 180)\">\n",
+        "<svg width=\"429pt\" height=\"191pt\"\n",
+        " viewBox=\"0.00 0.00 428.74 191.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 187)\">\n",
         "<title>G</title>\n",
-        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-180 415,-180 415,4 -4,4\"/>\n",
+        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-187 424.74,-187 424.74,4 -4,4\"/>\n",
         "<!-- I -->\n",
         "<!-- 0 -->\n",
         "<g id=\"node2\" class=\"node\"><title>0</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-69\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"56\" y=\"-65.3\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-73\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"56\" y=\"-69.3\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
         "</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,-69C2.67247,-69 15.0966,-69 27.6277,-69\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-72.5001 37.9419,-69 27.9418,-65.5001 27.9419,-72.5001\"/>\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",
         "</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,-86.0373C48.3189,-95.8579 50.4453,-105 56,-105 59.4717,-105 61.6042,-101.429 62.3975,-96.3529\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-96.031 62.3792,-86.0373 58.8971,-96.0435 65.8971,-96.031\"/>\n",
-        "<text text-anchor=\"start\" x=\"37.5\" y=\"-108.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\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",
+        "<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",
         "<g id=\"node3\" class=\"node\"><title>1</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"173\" cy=\"-109\" rx=\"18\" ry=\"18\"/>\n",
-        "<ellipse fill=\"none\" stroke=\"black\" cx=\"173\" cy=\"-109\" rx=\"22\" ry=\"22\"/>\n",
-        "<text text-anchor=\"middle\" x=\"173\" y=\"-105.3\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"177.87\" cy=\"-114\" rx=\"26.7407\" ry=\"26.7407\"/>\n",
+        "<text text-anchor=\"start\" x=\"173.37\" y=\"-117.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
+        "<text text-anchor=\"start\" x=\"169.87\" y=\"-102.8\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</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.4767,-74.731C91.4653,-80.9879 120.631,-91.1325 142.571,-98.7639\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"141.482,-102.091 152.077,-102.07 143.782,-95.4793 141.482,-102.091\"/>\n",
-        "<text text-anchor=\"start\" x=\"108\" y=\"-97.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\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",
+        "<text text-anchor=\"start\" x=\"108\" y=\"-102.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\n",
         "</g>\n",
         "<!-- 4 -->\n",
         "<g id=\"node4\" class=\"node\"><title>4</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"173\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"173\" y=\"-14.3\" font-family=\"Lato\" font-size=\"14.00\">4</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"177.87\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"177.87\" y=\"-14.3\" font-family=\"Lato\" font-size=\"14.00\">4</text>\n",
         "</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.9903,-61.9087C92.1291,-53.421 124.406,-39.107 146.884,-29.1383\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"148.423,-32.2847 156.146,-25.0311 145.585,-25.8857 148.423,-32.2847\"/>\n",
-        "<text text-anchor=\"start\" x=\"92\" y=\"-55.8\" font-family=\"Lato\" font-size=\"14.00\">!a &amp; !b</text>\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",
+        "<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=\"M162.933,-128.757C161.223,-139.35 164.578,-149 173,-149 178.527,-149 181.872,-144.844 183.035,-138.993\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"186.536,-138.768 183.067,-128.757 179.536,-138.747 186.536,-138.768\"/>\n",
-        "<text text-anchor=\"start\" x=\"156\" y=\"-152.8\" font-family=\"Lato\" font-size=\"14.00\">c &amp; d</text>\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",
+        "<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",
         "<g id=\"node5\" class=\"node\"><title>2</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"393\" cy=\"-99\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"393\" y=\"-95.3\" font-family=\"Lato\" font-size=\"14.00\">2</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"402.74\" cy=\"-104\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"402.74\" y=\"-100.3\" font-family=\"Lato\" font-size=\"14.00\">2</text>\n",
         "</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=\"M190.278,-122.894C214.315,-141.67 260.899,-171.444 302,-159 328.567,-150.956 354.459,-132.198 371.599,-117.781\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"374.017,-120.316 379.274,-111.117 369.428,-115.03 374.017,-120.316\"/>\n",
-        "<text text-anchor=\"start\" x=\"265\" y=\"-164.8\" font-family=\"Lato\" font-size=\"14.00\">!c &amp; d</text>\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",
+        "<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",
         "<g id=\"node6\" class=\"node\"><title>3</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"283.5\" cy=\"-99\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"283.5\" y=\"-95.3\" font-family=\"Lato\" font-size=\"14.00\">3</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"293.24\" cy=\"-104\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"293.24\" y=\"-100.3\" font-family=\"Lato\" font-size=\"14.00\">3</text>\n",
         "</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=\"M195.152,-108.988C209.762,-108.77 229.617,-108.059 247,-106 249.77,-105.672 252.647,-105.247 255.511,-104.769\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"256.424,-108.159 265.61,-102.881 255.137,-101.278 256.424,-108.159\"/>\n",
-        "<text text-anchor=\"start\" x=\"223.5\" y=\"-111.8\" font-family=\"Lato\" font-size=\"14.00\">!d</text>\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",
+        "<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=\"M163.425,-33.5414C160.73,-43.9087 163.922,-54 173,-54 178.958,-54 182.38,-49.654 183.267,-43.7362\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"186.744,-43.2812 182.575,-33.5414 179.76,-43.7557 186.744,-43.2812\"/>\n",
-        "<text text-anchor=\"middle\" x=\"173\" y=\"-57.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\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",
+        "<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=\"M377.812,-89.0507C354.64,-74.0075 307.035,-48.1189 265,-57 240.592,-62.157 216.227,-76.7048 198.86,-89.1057\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"196.405,-86.5688 190.453,-95.3338 200.571,-92.1936 196.405,-86.5688\"/>\n",
-        "<text text-anchor=\"start\" x=\"280\" y=\"-60.8\" font-family=\"Lato\" font-size=\"14.00\">c</text>\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",
+        "<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=\"M383.767,-114.541C381.169,-124.909 384.246,-135 393,-135 398.745,-135 402.045,-130.654 402.9,-124.736\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"406.379,-124.291 402.233,-114.541 399.394,-124.749 406.379,-124.291\"/>\n",
-        "<text text-anchor=\"start\" x=\"387.5\" y=\"-138.8\" font-family=\"Lato\" font-size=\"14.00\">!c</text>\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",
+        "<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=\"M266.525,-92.366C260.514,-90.2005 253.548,-88.0768 247,-87 232.089,-84.548 227.616,-83.1619 213,-87 208.771,-88.1106 204.517,-89.7954 200.454,-91.7483\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"198.542,-88.8035 191.42,-96.6478 201.879,-94.9568 198.542,-88.8035\"/>\n",
-        "<text text-anchor=\"start\" x=\"213\" y=\"-90.8\" font-family=\"Lato\" font-size=\"14.00\">c &amp; d</text>\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",
+        "<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=\"M301.772,-99C318.698,-99 344.762,-99 364.533,-99\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"364.771,-102.5 374.771,-99 364.771,-95.5001 364.771,-102.5\"/>\n",
-        "<text text-anchor=\"start\" x=\"320\" y=\"-102.8\" font-family=\"Lato\" font-size=\"14.00\">!c &amp; d</text>\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",
+        "<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=\"M274.521,-114.916C272.179,-125.15 275.172,-135 283.5,-135 288.965,-135 292.133,-130.758 293.003,-124.949\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"296.496,-124.72 292.479,-114.916 289.505,-125.085 296.496,-124.72\"/>\n",
-        "<text text-anchor=\"start\" x=\"277\" y=\"-138.8\" font-family=\"Lato\" font-size=\"14.00\">!d</text>\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",
+        "<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 0x7fa0e8162150> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e403071b0> >"
        ]
       }
      ],
@@ -291,7 +307,7 @@
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG at 0x7fa0ead4a4e0>"
+        "<IPython.core.display.SVG object>"
        ]
       }
      ],
@@ -437,7 +453,7 @@
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG at 0x7fa0e8083eb8>"
+        "<IPython.core.display.SVG object>"
        ]
       }
      ],
@@ -486,51 +502,51 @@
         "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
         " -->\n",
         "<!-- Title: G Pages: 1 -->\n",
-        "<svg width=\"171pt\" height=\"85pt\"\n",
-        " viewBox=\"0.00 0.00 171.00 85.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 81)\">\n",
+        "<svg width=\"181pt\" height=\"95pt\"\n",
+        " viewBox=\"0.00 0.00 180.74 94.74\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 90.7401)\">\n",
         "<title>G</title>\n",
-        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-81 167,-81 167,4 -4,4\"/>\n",
+        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-90.7401 176.74,-90.7401 176.74,4 -4,4\"/>\n",
         "<!-- I -->\n",
         "<!-- 1 -->\n",
         "<g id=\"node2\" class=\"node\"><title>1</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-22\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"56\" y=\"-18.3\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-26.8701\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"56\" y=\"-23.1701\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</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,-22C2.67247,-22 15.0966,-22 27.6277,-22\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-25.5001 37.9419,-22 27.9418,-18.5001 27.9419,-25.5001\"/>\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",
         "</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,-39.0373C48.3189,-48.8579 50.4453,-58 56,-58 59.4717,-58 61.6042,-54.4289 62.3975,-49.3529\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-49.031 62.3792,-39.0373 58.8971,-49.0435 65.8971,-49.031\"/>\n",
-        "<text text-anchor=\"start\" x=\"37.5\" y=\"-61.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\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",
+        "<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",
         "<g id=\"node3\" class=\"node\"><title>0</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"141\" cy=\"-22\" rx=\"18\" ry=\"18\"/>\n",
-        "<ellipse fill=\"none\" stroke=\"black\" cx=\"141\" cy=\"-22\" rx=\"22\" ry=\"22\"/>\n",
-        "<text text-anchor=\"middle\" x=\"141\" y=\"-18.3\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"145.87\" cy=\"-26.8701\" rx=\"26.7407\" ry=\"26.7407\"/>\n",
+        "<text text-anchor=\"start\" x=\"141.37\" y=\"-30.6701\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
+        "<text text-anchor=\"start\" x=\"137.87\" y=\"-15.6701\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</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.1977,-22C84.1587,-22 97.0038,-22 108.697,-22\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"108.997,-25.5001 118.997,-22 108.997,-18.5001 108.997,-25.5001\"/>\n",
-        "<text text-anchor=\"start\" x=\"92\" y=\"-25.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\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",
+        "<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=\"M132.994,-42.5808C131.886,-52.8447 134.555,-62 141,-62 145.129,-62 147.708,-58.2427 148.737,-52.8436\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"152.243,-52.6691 149.006,-42.5808 145.245,-52.4857 152.243,-52.6691\"/>\n",
-        "<text text-anchor=\"middle\" x=\"141\" y=\"-65.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\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",
+        "<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 0x7fa0e8138930> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005c9c0> >"
        ]
       }
      ],
@@ -556,51 +572,51 @@
         "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
         " -->\n",
         "<!-- Title: G Pages: 1 -->\n",
-        "<svg width=\"171pt\" height=\"85pt\"\n",
-        " viewBox=\"0.00 0.00 171.00 85.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 81)\">\n",
+        "<svg width=\"181pt\" height=\"95pt\"\n",
+        " viewBox=\"0.00 0.00 180.74 94.74\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g id=\"graph0\" class=\"graph\" transform=\"scale(1 1) rotate(0) translate(4 90.7401)\">\n",
         "<title>G</title>\n",
-        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-81 167,-81 167,4 -4,4\"/>\n",
+        "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-90.7401 176.74,-90.7401 176.74,4 -4,4\"/>\n",
         "<!-- I -->\n",
         "<!-- 1 -->\n",
         "<g id=\"node2\" class=\"node\"><title>1</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-22\" rx=\"18\" ry=\"18\"/>\n",
-        "<text text-anchor=\"middle\" x=\"56\" y=\"-18.3\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"56\" cy=\"-26.8701\" rx=\"18\" ry=\"18\"/>\n",
+        "<text text-anchor=\"middle\" x=\"56\" y=\"-23.1701\" font-family=\"Lato\" font-size=\"14.00\">1</text>\n",
         "</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,-22C2.67247,-22 15.0966,-22 27.6277,-22\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"27.9419,-25.5001 37.9419,-22 27.9418,-18.5001 27.9419,-25.5001\"/>\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",
         "</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,-39.0373C48.3189,-48.8579 50.4453,-58 56,-58 59.4717,-58 61.6042,-54.4289 62.3975,-49.3529\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"65.8971,-49.031 62.3792,-39.0373 58.8971,-49.0435 65.8971,-49.031\"/>\n",
-        "<text text-anchor=\"start\" x=\"37.5\" y=\"-61.8\" font-family=\"Lato\" font-size=\"14.00\">a &amp; !b</text>\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",
+        "<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",
         "<g id=\"node3\" class=\"node\"><title>0</title>\n",
-        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"141\" cy=\"-22\" rx=\"18\" ry=\"18\"/>\n",
-        "<ellipse fill=\"none\" stroke=\"black\" cx=\"141\" cy=\"-22\" rx=\"22\" ry=\"22\"/>\n",
-        "<text text-anchor=\"middle\" x=\"141\" y=\"-18.3\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
+        "<ellipse fill=\"#ffffaa\" stroke=\"black\" cx=\"145.87\" cy=\"-26.8701\" rx=\"26.7407\" ry=\"26.7407\"/>\n",
+        "<text text-anchor=\"start\" x=\"141.37\" y=\"-30.6701\" font-family=\"Lato\" font-size=\"14.00\">0</text>\n",
+        "<text text-anchor=\"start\" x=\"137.87\" y=\"-15.6701\" font-family=\"Lato\" font-size=\"14.00\" fill=\"#5da5da\">\u24ff</text>\n",
         "</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.1977,-22C84.1587,-22 97.0038,-22 108.697,-22\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"108.997,-25.5001 118.997,-22 108.997,-18.5001 108.997,-25.5001\"/>\n",
-        "<text text-anchor=\"start\" x=\"92\" y=\"-25.8\" font-family=\"Lato\" font-size=\"14.00\">b</text>\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",
+        "<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=\"M132.994,-42.5808C131.886,-52.8447 134.555,-62 141,-62 145.129,-62 147.708,-58.2427 148.737,-52.8436\"/>\n",
-        "<polygon fill=\"black\" stroke=\"black\" points=\"152.243,-52.6691 149.006,-42.5808 145.245,-52.4857 152.243,-52.6691\"/>\n",
-        "<text text-anchor=\"middle\" x=\"141\" y=\"-65.8\" font-family=\"Lato\" font-size=\"14.00\">1</text>\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",
+        "<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 0x7fa0e8138b70> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005cbd0> >"
        ]
       }
      ],
@@ -669,7 +685,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7fa0e81389c0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005ca20> >"
        ]
       }
      ],
@@ -785,7 +801,7 @@
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG at 0x7fa0e803ab70>"
+        "<IPython.core.display.SVG object>"
        ]
       }
      ],
@@ -805,177 +821,177 @@
        "output_type": "pyout",
        "prompt_number": 11,
        "svg": [
-        "<svg height=\"280pt\" viewBox=\"0.00 0.00 596.84 280.00\" width=\"597pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g class=\"graph\" id=\"graph0\" transform=\"scale(1 1) rotate(0) translate(4 276)\">\n",
+        "<svg height=\"309pt\" viewBox=\"0.00 0.00 629.71 309.22\" width=\"630pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g class=\"graph\" id=\"graph0\" transform=\"scale(1 1) rotate(0) translate(4 305.22)\">\n",
         "<title>G</title>\n",
-        "<polygon fill=\"white\" points=\"-4,4 -4,-276 592.84,-276 592.84,4 -4,4\" stroke=\"none\"/>\n",
+        "<polygon fill=\"white\" points=\"-4,4 -4,-305.22 625.706,-305.22 625.706,4 -4,4\" stroke=\"none\"/>\n",
         "<!-- I -->\n",
         "<!-- 6 -->\n",
         "<g class=\"node\" id=\"node2\"><title>6</title>\n",
-        "<ellipse cx=\"279.84\" cy=\"-212\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"279.84\" cy=\"-212\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"279.84\" y=\"-208.3\">6</text>\n",
+        "<ellipse cx=\"300.706\" cy=\"-236.35\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"296.206\" y=\"-240.15\">6</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"292.706\" y=\"-225.15\">\u24ff</text>\n",
         "</g>\n",
         "<!-- I&#45;&gt;6 -->\n",
         "<g class=\"edge\" id=\"edge1\"><title>I-&gt;6</title>\n",
-        "<path d=\"M279.84,-270.834C279.84,-269.282 279.84,-257.111 279.84,-244.332\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"283.34,-244.144 279.84,-234.144 276.34,-244.144 283.34,-244.144\" stroke=\"black\"/>\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",
         "</g>\n",
         "<!-- 6&#45;&gt;6 -->\n",
         "<g class=\"edge\" id=\"edge20\"><title>6-&gt;6</title>\n",
-        "<path d=\"M300.831,-219.317C310.927,-220.22 319.84,-217.781 319.84,-212 319.84,-208.296 316.182,-205.964 310.899,-205.004\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"310.937,-201.504 300.831,-204.683 310.714,-208.5 310.937,-201.504\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"319.84\" y=\"-208.3\">a &amp; b &amp; c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node3\"><title>0</title>\n",
-        "<ellipse cx=\"98.8401\" cy=\"-22\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"98.8401\" cy=\"-22\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"98.8401\" y=\"-18.3\">0</text>\n",
+        "<ellipse cx=\"111.706\" cy=\"-26.8701\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"107.206\" y=\"-30.6701\">0</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"103.706\" y=\"-15.6701\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;0 -->\n",
         "<g class=\"edge\" id=\"edge14\"><title>6-&gt;0</title>\n",
-        "<path d=\"M258.007,-208.601C199.023,-201.628 38.8277,-179.258 7.8401,-139 -20.0104,-102.818 35.1362,-60.7371 71.1365,-38.5459\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"73.0339,-41.4892 79.8144,-33.3483 69.437,-35.484 73.0339,-41.4892\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"7.8401\" y=\"-113.3\">!a &amp; !b &amp; c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node4\"><title>1</title>\n",
-        "<ellipse cx=\"326.84\" cy=\"-22\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"326.84\" cy=\"-22\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"326.84\" y=\"-18.3\">1</text>\n",
+        "<ellipse cx=\"348.706\" cy=\"-26.8701\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"344.206\" y=\"-30.6701\">1</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"340.706\" y=\"-15.6701\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;1 -->\n",
         "<g class=\"edge\" id=\"edge15\"><title>6-&gt;1</title>\n",
-        "<path d=\"M295.763,-196.555C302.193,-189.767 308.99,-181.157 312.84,-172 328.873,-133.863 330.378,-85.5249 329.224,-54.4292\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"332.708,-54.0118 328.725,-44.1943 325.716,-54.353 332.708,-54.0118\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"327.84\" y=\"-113.3\">!a &amp; b &amp; !c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node5\"><title>2</title>\n",
-        "<ellipse cx=\"478.84\" cy=\"-22\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"478.84\" cy=\"-22\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"478.84\" y=\"-18.3\">2</text>\n",
+        "<ellipse cx=\"500.706\" cy=\"-26.8701\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"496.206\" y=\"-30.6701\">2</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"492.706\" y=\"-15.6701\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;2 -->\n",
         "<g class=\"edge\" id=\"edge16\"><title>6-&gt;2</title>\n",
-        "<path d=\"M301.646,-207.819C355.288,-199.487 491.1,-175.144 515.84,-139 534.958,-111.069 515.686,-72.6972 498.568,-47.8724\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"501.358,-45.7581 492.669,-39.6958 495.681,-49.8535 501.358,-45.7581\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"522.84\" y=\"-113.3\">a &amp; !b &amp; !c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node6\"><title>3</title>\n",
-        "<ellipse cx=\"104.84\" cy=\"-117\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"104.84\" cy=\"-117\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"104.84\" y=\"-113.3\">3</text>\n",
+        "<ellipse cx=\"111.706\" cy=\"-131.61\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"107.206\" y=\"-135.41\">3</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"103.706\" y=\"-120.41\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;3 -->\n",
         "<g class=\"edge\" id=\"edge17\"><title>6-&gt;3</title>\n",
-        "<path d=\"M258.504,-205.147C236.691,-198.695 202.22,-187.184 174.84,-172 158.434,-162.901 141.737,-150.181 128.767,-139.372\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"130.704,-136.424 120.822,-132.602 126.164,-141.752 130.704,-136.424\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"174.84\" y=\"-160.8\">!a &amp; b &amp; c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node7\"><title>4</title>\n",
-        "<ellipse cx=\"432.84\" cy=\"-117\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"432.84\" cy=\"-117\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"432.84\" y=\"-113.3\">4</text>\n",
+        "<ellipse cx=\"459.706\" cy=\"-131.61\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"455.206\" y=\"-135.41\">4</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"451.706\" y=\"-120.41\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;4 -->\n",
         "<g class=\"edge\" id=\"edge18\"><title>6-&gt;4</title>\n",
-        "<path d=\"M298.295,-199.782C325.061,-183.513 374.823,-153.266 405.751,-134.466\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"407.592,-137.443 414.319,-129.258 403.956,-131.461 407.592,-137.443\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"364.84\" y=\"-160.8\">a &amp; b &amp; !c</text>\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",
+        "<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",
         "<g class=\"node\" id=\"node8\"><title>5</title>\n",
-        "<ellipse cx=\"218.84\" cy=\"-117\" fill=\"#ffffaa\" rx=\"18\" ry=\"18\" stroke=\"black\"/>\n",
-        "<ellipse cx=\"218.84\" cy=\"-117\" fill=\"none\" rx=\"22\" ry=\"22\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"middle\" x=\"218.84\" y=\"-113.3\">5</text>\n",
+        "<ellipse cx=\"235.706\" cy=\"-131.61\" fill=\"#ffffaa\" rx=\"26.7407\" ry=\"26.7407\" stroke=\"black\"/>\n",
+        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"231.206\" y=\"-135.41\">5</text>\n",
+        "<text fill=\"#5da5da\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"227.706\" y=\"-120.41\">\u24ff</text>\n",
         "</g>\n",
         "<!-- 6&#45;&gt;5 -->\n",
         "<g class=\"edge\" id=\"edge19\"><title>6-&gt;5</title>\n",
-        "<path d=\"M266.742,-194.191C261.619,-187.412 255.795,-179.446 250.84,-172 245.209,-163.539 239.434,-154.075 234.367,-145.463\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"237.234,-143.431 229.187,-136.54 231.18,-146.945 237.234,-143.431\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"250.84\" y=\"-160.8\">a &amp; !b &amp; c</text>\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",
+        "<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=\"M119.421,-30.3702C129.685,-31.5284 138.84,-28.7383 138.84,-22 138.84,-17.6833 135.083,-14.9869 129.684,-13.9109\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"129.513,-10.405 119.421,-13.6298 129.321,-17.4024 129.513,-10.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"138.84\" y=\"-18.3\">c</text>\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",
+        "<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=\"M347.421,-30.3702C357.685,-31.5284 366.84,-28.7383 366.84,-22 366.84,-17.6833 363.083,-14.9869 357.684,-13.9109\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"357.513,-10.405 347.421,-13.6298 357.321,-17.4024 357.513,-10.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"366.84\" y=\"-18.3\">b</text>\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",
+        "<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=\"M499.421,-30.3702C509.685,-31.5284 518.84,-28.7383 518.84,-22 518.84,-17.6833 515.083,-14.9869 509.684,-13.9109\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"509.513,-10.405 499.421,-13.6298 509.321,-17.4024 509.513,-10.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"518.84\" y=\"-18.3\">a</text>\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",
+        "<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=\"M101.72,-94.9925C100.973,-89.1774 100.268,-82.8549 99.8401,-77 99.3008,-69.6268 98.9988,-61.6732 98.8392,-54.196\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"102.337,-54.0032 98.6983,-44.0528 95.3376,-54.1005 102.337,-54.0032\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"99.8401\" y=\"-65.8\">!b &amp; c</text>\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",
+        "<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=\"M118.571,-99.4594C130.514,-85.4667 147.219,-66.9259 155.84,-62 199.687,-36.9475 258.489,-27.9869 294.467,-24.7826\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"295.165,-28.2385 304.859,-23.9616 294.614,-21.2602 295.165,-28.2385\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"155.84\" y=\"-65.8\">b &amp; !c</text>\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",
+        "<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=\"M125.421,-125.37C135.685,-126.528 144.84,-123.738 144.84,-117 144.84,-112.683 141.083,-109.987 135.684,-108.911\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"135.513,-105.405 125.421,-108.63 135.321,-112.402 135.513,-105.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"144.84\" y=\"-113.3\">b &amp; c</text>\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",
+        "<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=\"M423.229,-97.1109C416.857,-85.9186 407.685,-72.013 396.84,-62 385.079,-51.1404 369.748,-42.1637 356.432,-35.5713\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"357.71,-32.3041 347.173,-31.1996 354.721,-38.634 357.71,-32.3041\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"408.84\" y=\"-65.8\">!a &amp; b</text>\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",
+        "<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=\"M444.71,-98.1028C448.796,-91.5928 453.245,-84.0908 456.84,-77 460.811,-69.1689 464.616,-60.4456 467.913,-52.3336\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"471.243,-53.4297 471.658,-42.843 464.731,-50.86 471.243,-53.4297\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"462.84\" y=\"-65.8\">a &amp; !b</text>\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",
+        "<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=\"M453.421,-125.37C463.685,-126.528 472.84,-123.738 472.84,-117 472.84,-112.683 469.083,-109.987 463.684,-108.911\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"463.513,-105.405 453.421,-108.63 463.321,-112.402 463.513,-105.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"472.84\" y=\"-113.3\">a &amp; b</text>\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",
+        "<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=\"M214.588,-95.3163C211.367,-84.2043 205.896,-70.9826 196.84,-62 178.852,-44.1578 151.682,-34.2098 130.509,-28.8346\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"131.196,-25.401 120.663,-26.5487 129.613,-32.2197 131.196,-25.401\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"206.84\" y=\"-65.8\">!a &amp; c</text>\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",
+        "<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=\"M238.802,-107.727C265.504,-96.7677 314.413,-77.0653 356.84,-62 387.781,-51.0134 423.616,-39.7261 448.407,-32.14\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"449.435,-35.4856 457.983,-29.2257 447.397,-28.7889 449.435,-35.4856\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"356.84\" y=\"-65.8\">a &amp; !c</text>\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",
+        "<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=\"M239.421,-125.37C249.685,-126.528 258.84,-123.738 258.84,-117 258.84,-112.683 255.083,-109.987 249.684,-108.911\" fill=\"none\" stroke=\"black\"/>\n",
-        "<polygon fill=\"black\" points=\"249.513,-105.405 239.421,-108.63 249.321,-112.402 249.513,-105.405\" stroke=\"black\"/>\n",
-        "<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"258.84\" y=\"-113.3\">a &amp; c</text>\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",
+        "<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 at 0x7fa0e803ac88>"
+        "<IPython.core.display.SVG object>"
        ]
       }
      ],
@@ -1068,7 +1084,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7fa0e81389f0> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005cc00> >"
        ]
       }
      ],
@@ -1094,9 +1110,9 @@
         "<!-- Generated by graphviz version 2.38.0 (20140413.2041)\n",
         " -->\n",
         "<!-- Title: G Pages: 1 -->\n",
-        "<svg width=\"790pt\" height=\"360pt\"\n",
-        " viewBox=\"0.00 0.00 789.73 360.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
-        "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.647482 0.647482) rotate(0) translate(4 552)\">\n",
+        "<svg width=\"734pt\" height=\"335pt\"\n",
+        " viewBox=\"0.00 0.00 734.00 334.60\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+        "<g id=\"graph0\" class=\"graph\" transform=\"scale(0.601793 0.601793) rotate(0) translate(4 552)\">\n",
         "<title>G</title>\n",
         "<polygon fill=\"white\" stroke=\"none\" points=\"-4,4 -4,-552 1215.69,-552 1215.69,4 -4,4\"/>\n",
         "<!-- I -->\n",
@@ -1542,7 +1558,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7fa0e8138b40> >"
+        "<spot_impl.tgba_digraph; proxy of <Swig Object of type 'std::shared_ptr< spot::tgba_digraph > *' at 0x7f5e4005c9f0> >"
        ]
       }
      ],