From 5de07f6d44c3b92753804e986aa9ccda75c54341 Mon Sep 17 00:00:00 2001
From: Andre Lessa <lessa.a.p@gmail.com>
Date: Tue, 30 Jan 2024 11:25:12 -0300
Subject: [PATCH] Small changes to figs

---
 docs/manual/source/images/drawGraphs.ipynb | 609 ++++++++++++++++-----
 docs/manual/source/images/smsCoverage.svg  |  10 +-
 2 files changed, 486 insertions(+), 133 deletions(-)

diff --git a/docs/manual/source/images/drawGraphs.ipynb b/docs/manual/source/images/drawGraphs.ipynb
index 9308f365f..678661d26 100644
--- a/docs/manual/source/images/drawGraphs.ipynb
+++ b/docs/manual/source/images/drawGraphs.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "code",
-   "execution_count": 1,
+   "execution_count": 5,
    "id": "a1a2c9ac",
    "metadata": {},
    "outputs": [],
@@ -12,7 +12,10 @@
     "from smodels.base.genericSMS import GenericSMS\n",
     "from smodels.experiment.expSMS import ExpSMS\n",
     "from smodels.experiment.defaultFinalStates import finalStates\n",
-    "from smodels.share.models.mssm import BSMList"
+    "from smodels.share.models.mssm import BSMList\n",
+    "from smodels.decomposition.theorySMS import TheorySMS\n",
+    "from smodels.share.models.SMparticles import SMList\n",
+    "from smodels.base.model import Model"
    ]
   },
   {
@@ -91,7 +94,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49013b850>"
+       "<graphviz.graphs.Digraph at 0x7fb364013f10>"
       ]
      },
      "metadata": {},
@@ -168,7 +171,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490016320>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffc9d30>"
       ]
      },
      "metadata": {},
@@ -250,7 +253,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490017ca0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffc9700>"
       ]
      },
      "metadata": {},
@@ -411,7 +414,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490016fe0>"
+       "<graphviz.graphs.Digraph at 0x7fb3841a9dc0>"
       ]
      },
      "metadata": {},
@@ -463,7 +466,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900178b0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd7f40>"
       ]
      },
      "metadata": {},
@@ -525,7 +528,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490017700>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd7fa0>"
       ]
      },
      "metadata": {},
@@ -606,7 +609,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900177c0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdce20>"
       ]
      },
      "metadata": {},
@@ -701,7 +704,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900167d0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdcbe0>"
       ]
      },
      "metadata": {},
@@ -783,7 +786,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900168c0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5cd0>"
       ]
      },
      "metadata": {},
@@ -911,7 +914,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490017d30>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5af0>"
       ]
      },
      "metadata": {},
@@ -995,7 +998,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490050eb0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdcc10>"
       ]
      },
      "metadata": {},
@@ -1079,7 +1082,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490016350>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdc6d0>"
       ]
      },
      "metadata": {},
@@ -1182,7 +1185,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490017010>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdc2b0>"
       ]
      },
      "metadata": {},
@@ -1297,7 +1300,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900174c0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5f40>"
       ]
      },
      "metadata": {},
@@ -1423,7 +1426,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490016c50>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffc9460>"
       ]
      },
      "metadata": {},
@@ -1625,7 +1628,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490052410>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd7a00>"
       ]
      },
      "metadata": {},
@@ -1755,7 +1758,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900527a0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd7e80>"
       ]
      },
      "metadata": {},
@@ -1869,7 +1872,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900527a0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffdc0a0>"
       ]
      },
      "metadata": {},
@@ -1983,7 +1986,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490050490>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5460>"
       ]
      },
      "metadata": {},
@@ -2089,7 +2092,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900527a0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd74f0>"
       ]
      },
      "metadata": {},
@@ -2155,7 +2158,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490051ea0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd7e20>"
       ]
      },
      "metadata": {},
@@ -2298,7 +2301,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490052620>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd70a0>"
       ]
      },
      "metadata": {},
@@ -2407,7 +2410,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900519c0>"
+       "<graphviz.graphs.Digraph at 0x7fb35fffa7f0>"
       ]
      },
      "metadata": {},
@@ -2493,7 +2496,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089f60>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd58e0>"
       ]
      },
      "metadata": {},
@@ -2555,7 +2558,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089f00>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd53a0>"
       ]
      },
      "metadata": {},
@@ -2606,7 +2609,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490088670>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5a00>"
       ]
      },
      "metadata": {},
@@ -2657,7 +2660,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900886a0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd52e0>"
       ]
      },
      "metadata": {},
@@ -2708,7 +2711,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900884c0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd52e0>"
       ]
      },
      "metadata": {},
@@ -2759,7 +2762,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490088670>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd52e0>"
       ]
      },
      "metadata": {},
@@ -2927,7 +2930,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089420>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff81700>"
       ]
      },
      "metadata": {},
@@ -3033,7 +3036,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089450>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff811f0>"
       ]
      },
      "metadata": {},
@@ -3128,7 +3131,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089390>"
+       "<graphviz.graphs.Digraph at 0x7fb35ffd5250>"
       ]
      },
      "metadata": {},
@@ -3263,7 +3266,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008b8b0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff866d0>"
       ]
      },
      "metadata": {},
@@ -3428,7 +3431,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008b280>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff81a90>"
       ]
      },
      "metadata": {},
@@ -3593,7 +3596,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490088730>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff819d0>"
       ]
      },
      "metadata": {},
@@ -3799,7 +3802,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089240>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff86b50>"
       ]
      },
      "metadata": {},
@@ -3960,7 +3963,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089180>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff86280>"
       ]
      },
      "metadata": {},
@@ -4140,7 +4143,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490088fa0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff81550>"
       ]
      },
      "metadata": {},
@@ -4268,7 +4271,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490088760>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff81700>"
       ]
      },
      "metadata": {},
@@ -4462,7 +4465,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008ba00>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff812e0>"
       ]
      },
      "metadata": {},
@@ -4624,7 +4627,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008ba00>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff81f70>"
       ]
      },
      "metadata": {},
@@ -4798,7 +4801,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46137be80>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3c10>"
       ]
      },
      "metadata": {},
@@ -4900,7 +4903,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008b970>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec35e0>"
       ]
      },
      "metadata": {},
@@ -4978,7 +4981,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089270>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3940>"
       ]
      },
      "metadata": {},
@@ -5056,7 +5059,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb49008b970>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec35e0>"
       ]
      },
      "metadata": {},
@@ -5134,7 +5137,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089270>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3940>"
       ]
      },
      "metadata": {},
@@ -5236,7 +5239,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900886a0>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3c10>"
       ]
      },
      "metadata": {},
@@ -5362,7 +5365,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4900898a0>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3940>"
       ]
      },
      "metadata": {},
@@ -5476,7 +5479,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb490089270>"
+       "<graphviz.graphs.Digraph at 0x7fb338ec3c10>"
       ]
      },
      "metadata": {},
@@ -5590,7 +5593,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613afa90>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5f5e0>"
       ]
      },
      "metadata": {},
@@ -5692,7 +5695,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613afa60>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5f610>"
       ]
      },
      "metadata": {},
@@ -5794,7 +5797,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613af5e0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e8e8b0>"
       ]
      },
      "metadata": {},
@@ -5908,7 +5911,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613aff10>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5fee0>"
       ]
      },
      "metadata": {},
@@ -5986,7 +5989,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613aff70>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5fcd0>"
       ]
      },
      "metadata": {},
@@ -6064,7 +6067,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613ac9d0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5fdf0>"
       ]
      },
      "metadata": {},
@@ -6166,7 +6169,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613aff10>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5f6a0>"
       ]
      },
      "metadata": {},
@@ -6256,7 +6259,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613ace20>"
+       "<graphviz.graphs.Digraph at 0x7fb338e5fd90>"
       ]
      },
      "metadata": {},
@@ -6446,7 +6449,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613ad6f0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e6adf0>"
       ]
      },
      "metadata": {},
@@ -6590,7 +6593,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613aff70>"
+       "<graphviz.graphs.Digraph at 0x7fb338ebbcd0>"
       ]
      },
      "metadata": {},
@@ -6707,7 +6710,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613affd0>"
+       "<graphviz.graphs.Digraph at 0x7fb338ebbbe0>"
       ]
      },
      "metadata": {},
@@ -6817,7 +6820,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613adcc0>"
+       "<graphviz.graphs.Digraph at 0x7fb338ebb610>"
       ]
      },
      "metadata": {},
@@ -6914,7 +6917,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613afe50>"
+       "<graphviz.graphs.Digraph at 0x7fb338e7e400>"
       ]
      },
      "metadata": {},
@@ -7020,7 +7023,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613acee0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e8e700>"
       ]
      },
      "metadata": {},
@@ -7093,7 +7096,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613af9d0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e56370>"
       ]
      },
      "metadata": {},
@@ -7190,7 +7193,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613ae1a0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e7e220>"
       ]
      },
      "metadata": {},
@@ -7216,6 +7219,16 @@
    "id": "9170a03c",
    "metadata": {},
    "outputs": [
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:12286): Atk-CRITICAL **: 10:13:35.825: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:12286): Gtk-CRITICAL **: 10:13:35.825: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
     {
      "data": {
       "image/svg+xml": [
@@ -7264,7 +7277,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4613acfd0>"
+       "<graphviz.graphs.Digraph at 0x7fb35ff83130>"
       ]
      },
      "metadata": {},
@@ -7457,7 +7470,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46141a170>"
+       "<graphviz.graphs.Digraph at 0x7fb338dda6a0>"
       ]
      },
      "metadata": {},
@@ -7630,7 +7643,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46141a140>"
+       "<graphviz.graphs.Digraph at 0x7fb338dda670>"
       ]
      },
      "metadata": {},
@@ -7803,7 +7816,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46141a110>"
+       "<graphviz.graphs.Digraph at 0x7fb338dda5e0>"
       ]
      },
      "metadata": {},
@@ -7921,7 +7934,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb461449c60>"
+       "<graphviz.graphs.Digraph at 0x7fb338ded0a0>"
       ]
      },
      "metadata": {},
@@ -8006,7 +8019,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46144b3a0>"
+       "<graphviz.graphs.Digraph at 0x7fb338df5bb0>"
       ]
      },
      "metadata": {},
@@ -8087,7 +8100,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4614192d0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e50100>"
       ]
      },
      "metadata": {},
@@ -8160,7 +8173,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb461419f90>"
+       "<graphviz.graphs.Digraph at 0x7fb338e45b20>"
       ]
      },
      "metadata": {},
@@ -8359,12 +8372,22 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb461418820>"
+       "<graphviz.graphs.Digraph at 0x7fb338e501c0>"
       ]
      },
      "metadata": {},
      "output_type": "display_data"
     },
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:12286): Atk-CRITICAL **: 10:13:36.659: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:12286): Gtk-CRITICAL **: 10:13:36.659: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
     {
      "data": {
       "image/svg+xml": [
@@ -8485,7 +8508,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb461418c40>"
+       "<graphviz.graphs.Digraph at 0x7fb338e50790>"
       ]
      },
      "metadata": {},
@@ -8497,11 +8520,11 @@
     "# Hack to create a theory element from a string:\n",
     "smsA = ExpSMS.from_string(smsA, model=model)\n",
     "smsA.draw(\n",
-    "    # filename='sms_coverage_sms1.png'\n",
+    "    filename='sms_coverage_sms1.png'\n",
     ")\n",
     "fsA = FinalStateSMS(smsA,missingX=1.0)\n",
     "fsA.draw(\n",
-    "    # filename='sms_coverage_sms1_simp.png'\n",
+    "    filename='sms_coverage_sms1_simp.png'\n",
     ")"
    ]
   },
@@ -8511,6 +8534,16 @@
    "id": "59e0f431-f4e9-4c36-b87f-baf8ce944392",
    "metadata": {},
    "outputs": [
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:12286): Atk-CRITICAL **: 10:13:36.866: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:12286): Gtk-CRITICAL **: 10:13:36.866: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
     {
      "data": {
       "image/svg+xml": [
@@ -8583,7 +8616,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46144acb0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e459d0>"
       ]
      },
      "metadata": {},
@@ -8661,7 +8694,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46144a740>"
+       "<graphviz.graphs.Digraph at 0x7fb338df5a30>"
       ]
      },
      "metadata": {},
@@ -8673,11 +8706,11 @@
     "# Hack to create a theory element from a string:\n",
     "smsA = ExpSMS.from_string(smsA, model=model)\n",
     "smsA.draw(\n",
-    "    # filename='sms_coverage_sms2.png'\n",
+    "    filename='sms_coverage_sms2.png'\n",
     ")\n",
     "fsA = FinalStateSMS(smsA,missingX=1.0)\n",
     "fsA.draw(\n",
-    "        # filename='sms_coverage_sms2_simp.png'\n",
+    "        filename='sms_coverage_sms2_simp.png'\n",
     ")"
    ]
   },
@@ -8687,6 +8720,16 @@
    "id": "bf65277f-5c53-4bd6-8fef-a4727414dae9",
    "metadata": {},
    "outputs": [
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:12286): Atk-CRITICAL **: 10:13:37.311: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:12286): Gtk-CRITICAL **: 10:13:37.311: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
     {
      "data": {
       "image/svg+xml": [
@@ -8759,12 +8802,22 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb461449ae0>"
+       "<graphviz.graphs.Digraph at 0x7fb338e2c5e0>"
       ]
      },
      "metadata": {},
      "output_type": "display_data"
     },
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:12286): Atk-CRITICAL **: 10:13:37.486: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:12286): Gtk-CRITICAL **: 10:13:37.486: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
     {
      "data": {
       "image/svg+xml": [
@@ -8837,7 +8890,7 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46144b940>"
+       "<graphviz.graphs.Digraph at 0x7fb338e3c100>"
       ]
      },
      "metadata": {},
@@ -8849,11 +8902,11 @@
     "# Hack to create a theory element from a string:\n",
     "smsA = ExpSMS.from_string(smsA, model=model)\n",
     "smsA.draw(\n",
-    "    # filename='sms_coverage_sms3.png'\n",
+    "    filename='sms_coverage_sms3.png'\n",
     ")\n",
     "fsA = FinalStateSMS(smsA,missingX=1.0)\n",
     "fsA.draw(\n",
-    "        # filename='sms_coverage_sms3_simp.png'\n",
+    "        filename='sms_coverage_sms3_simp.png'\n",
     ")"
    ]
   },
@@ -8867,7 +8920,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 52,
+   "execution_count": 22,
    "id": "54568dbe-ac90-4809-9289-74d9d7b6793b",
    "metadata": {},
    "outputs": [
@@ -8991,7 +9044,133 @@
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46144af50>"
+       "<graphviz.graphs.Digraph at 0x7fd4bd668fa0>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "data": {
+      "image/svg+xml": [
+       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
+       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
+       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       " -->\n",
+       "<!-- Title: %3 Pages: 1 -->\n",
+       "<svg width=\"170pt\" height=\"314pt\"\n",
+       " viewBox=\"0.00 0.00 170.21 314.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 310)\">\n",
+       "<title>%3</title>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-310 166.21,-310 166.21,4 -4,4\"/>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<ellipse fill=\"darkgray\" stroke=\"black\" cx=\"18\" cy=\"-142\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"18\" y=\"-139.5\" font-family=\"Times,serif\" font-size=\"10.00\">PV</text>\n",
+       "</g>\n",
+       "<!-- 1 -->\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"81.11\" cy=\"-196\" rx=\"23.21\" ry=\"23.21\"/>\n",
+       "<text text-anchor=\"middle\" x=\"81.11\" y=\"-193.5\" font-family=\"Times,serif\" font-size=\"10.00\">anyBSM</text>\n",
+       "</g>\n",
+       "<!-- 0&#45;&gt;1 -->\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>0&#45;&gt;1</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M31.96,-153.45C39.5,-160.12 49.22,-168.7 57.94,-176.41\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"63.22,-181.07 55.88,-178.8 60.59,-178.76 57.97,-176.44 57.97,-176.44 57.97,-176.44 60.59,-178.76 60.06,-174.08 63.22,-181.07 63.22,-181.07\"/>\n",
+       "</g>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"81.11\" cy=\"-110\" rx=\"23.21\" ry=\"23.21\"/>\n",
+       "<text text-anchor=\"middle\" x=\"81.11\" y=\"-107.5\" font-family=\"Times,serif\" font-size=\"10.00\">anyBSM</text>\n",
+       "</g>\n",
+       "<!-- 0&#45;&gt;2 -->\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>0&#45;&gt;2</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M34.42,-133.93C40.25,-130.87 47.07,-127.3 53.63,-123.86\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"60.07,-120.49 55.33,-126.53 56.96,-122.12 53.86,-123.74 53.86,-123.74 53.86,-123.74 56.96,-122.12 52.4,-120.95 60.07,-120.49 60.07,-120.49\"/>\n",
+       "</g>\n",
+       "<!-- 3 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-288\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-285.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;3 -->\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>1&#45;&gt;3</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.77,-215.06C104.89,-230.3 119.06,-251.63 129.46,-267.29\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"133.38,-273.2 126.88,-269.11 131.44,-270.28 129.51,-267.37 129.51,-267.37 129.51,-267.37 131.44,-270.28 132.13,-265.63 133.38,-273.2 133.38,-273.2\"/>\n",
+       "</g>\n",
+       "<!-- 4 -->\n",
+       "<g id=\"node5\" class=\"node\">\n",
+       "<title>4</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-234\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-231.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;4 -->\n",
+       "<g id=\"edge4\" class=\"edge\">\n",
+       "<title>1&#45;&gt;4</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M101.1,-207.82C107.86,-212.02 115.51,-216.77 122.41,-221.06\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"128.49,-224.85 120.89,-223.83 125.52,-223 122.55,-221.15 122.55,-221.15 122.55,-221.15 125.52,-223 124.21,-218.48 128.49,-224.85 128.49,-224.85\"/>\n",
+       "</g>\n",
+       "<!-- 5 -->\n",
+       "<g id=\"node6\" class=\"node\">\n",
+       "<title>5</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-180\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-177.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;5 -->\n",
+       "<g id=\"edge5\" class=\"edge\">\n",
+       "<title>1&#45;&gt;5</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M103.82,-190.31C108.91,-188.98 114.37,-187.55 119.54,-186.2\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"126.37,-184.41 120.39,-189.23 122.98,-185.3 119.59,-186.18 119.59,-186.18 119.59,-186.18 122.98,-185.3 118.8,-183.14 126.37,-184.41 126.37,-184.41\"/>\n",
+       "</g>\n",
+       "<!-- 6 -->\n",
+       "<g id=\"node7\" class=\"node\">\n",
+       "<title>6</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-126\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-123.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 2&#45;&gt;6 -->\n",
+       "<g id=\"edge6\" class=\"edge\">\n",
+       "<title>2&#45;&gt;6</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M103.82,-115.69C108.91,-117.02 114.37,-118.45 119.54,-119.8\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"126.37,-121.59 118.8,-122.86 122.98,-120.7 119.59,-119.82 119.59,-119.82 119.59,-119.82 122.98,-120.7 120.39,-116.77 126.37,-121.59 126.37,-121.59\"/>\n",
+       "</g>\n",
+       "<!-- 7 -->\n",
+       "<g id=\"node8\" class=\"node\">\n",
+       "<title>7</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 2&#45;&gt;7 -->\n",
+       "<g id=\"edge7\" class=\"edge\">\n",
+       "<title>2&#45;&gt;7</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M101.1,-98.18C107.86,-93.98 115.51,-89.23 122.41,-84.94\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"128.49,-81.15 124.21,-87.52 125.52,-83 122.55,-84.85 122.55,-84.85 122.55,-84.85 125.52,-83 120.89,-82.17 128.49,-81.15 128.49,-81.15\"/>\n",
+       "</g>\n",
+       "<!-- 8 -->\n",
+       "<g id=\"node9\" class=\"node\">\n",
+       "<title>8</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"144.21\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"144.21\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 2&#45;&gt;8 -->\n",
+       "<g id=\"edge8\" class=\"edge\">\n",
+       "<title>2&#45;&gt;8</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.77,-90.94C104.89,-75.7 119.06,-54.37 129.46,-38.71\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"133.38,-32.8 132.13,-40.37 131.44,-35.72 129.51,-38.63 129.51,-38.63 129.51,-38.63 131.44,-35.72 126.88,-36.89 133.38,-32.8 133.38,-32.8\"/>\n",
+       "</g>\n",
+       "</g>\n",
+       "</svg>\n"
+      ],
+      "text/plain": [
+       "<graphviz.graphs.Digraph at 0x7fd4bd668640>"
       ]
      },
      "metadata": {},
@@ -9006,12 +9185,20 @@
     "smsA = ExpSMS.from_string(smsA, model=model)\n",
     "smsA.draw(\n",
     "    # filename='sms_rpv_example1.png'\n",
+    ")\n",
+    "\n",
+    "smsA = \"(PV > C1+(1),N1(2)), (C1+(1) > q(3),q(4),q(5)), (N1(2) > q(6),q(7),q(8))\"\n",
+    "smsA = ExpSMS.from_string(smsA, model=model)\n",
+    "smsA.draw(\n",
+    "    filename='sms_rpv_example2.png', labelAttr = {0: 'PV', 1 : \"anyBSM\", 2 : 'anyBSM', \n",
+    "                                                  3 : 'q', 4 : 'q', 5 : 'q', 6 : 'q',\n",
+    "                                                  7 : 'q', 8 : 'q'}\n",
     ")"
    ]
   },
   {
    "cell_type": "code",
-   "execution_count": 53,
+   "execution_count": 6,
    "id": "8ebb71d8-1eab-4fc0-bc64-411ad621695b",
    "metadata": {},
    "outputs": [],
@@ -9027,7 +9214,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 54,
+   "execution_count": 19,
    "id": "81e86ab1-b34c-4658-9f23-39516b540dda",
    "metadata": {},
    "outputs": [
@@ -9040,11 +9227,153 @@
        "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"162pt\" height=\"98pt\"\n",
-       " viewBox=\"0.00 0.00 161.81 98.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"160pt\" height=\"98pt\"\n",
+       " viewBox=\"0.00 0.00 160.00 98.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 94)\">\n",
+       "<title>%3</title>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 156,-94 156,4 -4,4\"/>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<ellipse fill=\"darkgray\" stroke=\"black\" cx=\"18\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"18\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">PV</text>\n",
+       "</g>\n",
+       "<!-- 1 -->\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"76\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">Z&#39;</text>\n",
+       "</g>\n",
+       "<!-- 0&#45;&gt;1 -->\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>0&#45;&gt;1</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.11,-45C40.77,-45 45.92,-45 50.9,-45\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"58,-45 51,-48.15 54.5,-45 51,-45 51,-45 51,-45 54.5,-45 51,-41.85 58,-45 58,-45\"/>\n",
+       "</g>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"134\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">DM</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;2 -->\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>1&#45;&gt;2</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-52.52C98.3,-55.27 104.87,-58.44 111.02,-61.4\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-64.52 109.81,-64.32 114.33,-63 111.18,-61.48 111.18,-61.48 111.18,-61.48 114.33,-63 112.55,-58.64 117.48,-64.52 117.48,-64.52\"/>\n",
+       "</g>\n",
+       "<!-- 3 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"134\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">DM</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;3 -->\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>1&#45;&gt;3</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-37.48C98.3,-34.73 104.87,-31.56 111.02,-28.6\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-25.48 112.55,-31.36 114.33,-27 111.18,-28.52 111.18,-28.52 111.18,-28.52 114.33,-27 109.81,-25.68 117.48,-25.48 117.48,-25.48\"/>\n",
+       "</g>\n",
+       "</g>\n",
+       "</svg>\n"
+      ],
+      "text/plain": [
+       "<graphviz.graphs.Digraph at 0x7fd4bd628f10>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:13438): Atk-CRITICAL **: 10:44:13.918: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:13438): Gtk-CRITICAL **: 10:44:13.918: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
+    },
+    {
+     "data": {
+      "image/svg+xml": [
+       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
+       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
+       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       " -->\n",
+       "<!-- Title: %3 Pages: 1 -->\n",
+       "<svg width=\"160pt\" height=\"98pt\"\n",
+       " viewBox=\"0.00 0.00 160.00 98.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 94)\">\n",
+       "<title>%3</title>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 156,-94 156,4 -4,4\"/>\n",
+       "<!-- 0 -->\n",
+       "<g id=\"node1\" class=\"node\">\n",
+       "<title>0</title>\n",
+       "<ellipse fill=\"darkgray\" stroke=\"black\" cx=\"18\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"18\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">PV</text>\n",
+       "</g>\n",
+       "<!-- 1 -->\n",
+       "<g id=\"node2\" class=\"node\">\n",
+       "<title>1</title>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"76\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">Z&#39;</text>\n",
+       "</g>\n",
+       "<!-- 0&#45;&gt;1 -->\n",
+       "<g id=\"edge1\" class=\"edge\">\n",
+       "<title>0&#45;&gt;1</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.11,-45C40.77,-45 45.92,-45 50.9,-45\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"58,-45 51,-48.15 54.5,-45 51,-45 51,-45 51,-45 54.5,-45 51,-41.85 58,-45 58,-45\"/>\n",
+       "</g>\n",
+       "<!-- 2 -->\n",
+       "<g id=\"node3\" class=\"node\">\n",
+       "<title>2</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"134\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;2 -->\n",
+       "<g id=\"edge2\" class=\"edge\">\n",
+       "<title>1&#45;&gt;2</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-52.52C98.3,-55.27 104.87,-58.44 111.02,-61.4\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-64.52 109.81,-64.32 114.33,-63 111.18,-61.48 111.18,-61.48 111.18,-61.48 114.33,-63 112.55,-58.64 117.48,-64.52 117.48,-64.52\"/>\n",
+       "</g>\n",
+       "<!-- 3 -->\n",
+       "<g id=\"node4\" class=\"node\">\n",
+       "<title>3</title>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"134\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "</g>\n",
+       "<!-- 1&#45;&gt;3 -->\n",
+       "<g id=\"edge3\" class=\"edge\">\n",
+       "<title>1&#45;&gt;3</title>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-37.48C98.3,-34.73 104.87,-31.56 111.02,-28.6\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-25.48 112.55,-31.36 114.33,-27 111.18,-28.52 111.18,-28.52 111.18,-28.52 114.33,-27 109.81,-25.68 117.48,-25.48 117.48,-25.48\"/>\n",
+       "</g>\n",
+       "</g>\n",
+       "</svg>\n"
+      ],
+      "text/plain": [
+       "<graphviz.graphs.Digraph at 0x7fd4bd6685e0>"
+      ]
+     },
+     "metadata": {},
+     "output_type": "display_data"
+    },
+    {
+     "data": {
+      "image/svg+xml": [
+       "<?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?>\n",
+       "<!DOCTYPE svg PUBLIC \"-//W3C//DTD SVG 1.1//EN\"\n",
+       " \"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd\">\n",
+       "<!-- Generated by graphviz version 2.43.0 (0)\n",
+       " -->\n",
+       "<!-- Title: %3 Pages: 1 -->\n",
+       "<svg width=\"160pt\" height=\"98pt\"\n",
+       " viewBox=\"0.00 0.00 160.00 98.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 94)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 157.81,-94 157.81,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 156,-94 156,4 -4,4\"/>\n",
        "<!-- 0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>0</title>\n",
@@ -9054,44 +9383,44 @@
        "<!-- 1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>1</title>\n",
-       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76.9\" cy=\"-45\" rx=\"18.81\" ry=\"18.81\"/>\n",
-       "<text text-anchor=\"middle\" x=\"76.9\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">zprime</text>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"76\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">Z&#39;</text>\n",
        "</g>\n",
        "<!-- 0&#45;&gt;1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>0&#45;&gt;1</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.07,-45C40.65,-45 45.69,-45 50.61,-45\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"57.65,-45 50.65,-48.15 54.15,-45 50.65,-45 50.65,-45 50.65,-45 54.15,-45 50.65,-41.85 57.65,-45 57.65,-45\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.11,-45C40.77,-45 45.92,-45 50.9,-45\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"58,-45 51,-48.15 54.5,-45 51,-45 51,-45 51,-45 54.5,-45 51,-41.85 58,-45 58,-45\"/>\n",
        "</g>\n",
        "<!-- 2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>2</title>\n",
-       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"135.81\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135.81\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">dm</text>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"134\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">q,b,t</text>\n",
        "</g>\n",
        "<!-- 1&#45;&gt;2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>1&#45;&gt;2</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.36,-52.81C100.15,-55.55 106.74,-58.68 112.91,-61.61\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"119.36,-64.67 111.69,-64.52 116.2,-63.17 113.04,-61.67 113.04,-61.67 113.04,-61.67 116.2,-63.17 114.39,-58.82 119.36,-64.67 119.36,-64.67\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-52.52C98.3,-55.27 104.87,-58.44 111.02,-61.4\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-64.52 109.81,-64.32 114.33,-63 111.18,-61.48 111.18,-61.48 111.18,-61.48 114.33,-63 112.55,-58.64 117.48,-64.52 117.48,-64.52\"/>\n",
        "</g>\n",
        "<!-- 3 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>3</title>\n",
-       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"135.81\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135.81\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">dm</text>\n",
+       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"134\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">q,b,t</text>\n",
        "</g>\n",
        "<!-- 1&#45;&gt;3 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>1&#45;&gt;3</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.36,-37.19C100.15,-34.45 106.74,-31.32 112.91,-28.39\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"119.36,-25.33 114.39,-31.18 116.2,-26.83 113.04,-28.33 113.04,-28.33 113.04,-28.33 116.2,-26.83 111.69,-25.48 119.36,-25.33 119.36,-25.33\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-37.48C98.3,-34.73 104.87,-31.56 111.02,-28.6\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-25.48 112.55,-31.36 114.33,-27 111.18,-28.52 111.18,-28.52 111.18,-28.52 114.33,-27 109.81,-25.68 117.48,-25.48 117.48,-25.48\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb4614497b0>"
+       "<graphviz.graphs.Digraph at 0x7fd4bd668be0>"
       ]
      },
      "metadata": {},
@@ -9106,11 +9435,11 @@
        "<!-- Generated by graphviz version 2.43.0 (0)\n",
        " -->\n",
        "<!-- Title: %3 Pages: 1 -->\n",
-       "<svg width=\"162pt\" height=\"98pt\"\n",
-       " viewBox=\"0.00 0.00 161.81 98.00\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
+       "<svg width=\"160pt\" height=\"98pt\"\n",
+       " viewBox=\"0.00 0.00 160.00 98.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 94)\">\n",
        "<title>%3</title>\n",
-       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 157.81,-94 157.81,4 -4,4\"/>\n",
+       "<polygon fill=\"white\" stroke=\"transparent\" points=\"-4,4 -4,-94 156,-94 156,4 -4,4\"/>\n",
        "<!-- 0 -->\n",
        "<g id=\"node1\" class=\"node\">\n",
        "<title>0</title>\n",
@@ -9120,48 +9449,58 @@
        "<!-- 1 -->\n",
        "<g id=\"node2\" class=\"node\">\n",
        "<title>1</title>\n",
-       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76.9\" cy=\"-45\" rx=\"18.81\" ry=\"18.81\"/>\n",
-       "<text text-anchor=\"middle\" x=\"76.9\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">zprime</text>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"76\" cy=\"-45\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"76\" y=\"-42.5\" font-family=\"Times,serif\" font-size=\"10.00\">Z&#39;/S</text>\n",
        "</g>\n",
        "<!-- 0&#45;&gt;1 -->\n",
        "<g id=\"edge1\" class=\"edge\">\n",
        "<title>0&#45;&gt;1</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.07,-45C40.65,-45 45.69,-45 50.61,-45\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"57.65,-45 50.65,-48.15 54.15,-45 50.65,-45 50.65,-45 50.65,-45 54.15,-45 50.65,-41.85 57.65,-45 57.65,-45\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M36.11,-45C40.77,-45 45.92,-45 50.9,-45\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"58,-45 51,-48.15 54.5,-45 51,-45 51,-45 51,-45 54.5,-45 51,-41.85 58,-45 58,-45\"/>\n",
        "</g>\n",
        "<!-- 2 -->\n",
        "<g id=\"node3\" class=\"node\">\n",
        "<title>2</title>\n",
-       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"135.81\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135.81\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"134\" cy=\"-72\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-69.5\" font-family=\"Times,serif\" font-size=\"10.00\">DM</text>\n",
        "</g>\n",
        "<!-- 1&#45;&gt;2 -->\n",
        "<g id=\"edge2\" class=\"edge\">\n",
        "<title>1&#45;&gt;2</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.36,-52.81C100.15,-55.55 106.74,-58.68 112.91,-61.61\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"119.36,-64.67 111.69,-64.52 116.2,-63.17 113.04,-61.67 113.04,-61.67 113.04,-61.67 116.2,-63.17 114.39,-58.82 119.36,-64.67 119.36,-64.67\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-52.52C98.3,-55.27 104.87,-58.44 111.02,-61.4\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-64.52 109.81,-64.32 114.33,-63 111.18,-61.48 111.18,-61.48 111.18,-61.48 114.33,-63 112.55,-58.64 117.48,-64.52 117.48,-64.52\"/>\n",
        "</g>\n",
        "<!-- 3 -->\n",
        "<g id=\"node4\" class=\"node\">\n",
        "<title>3</title>\n",
-       "<ellipse fill=\"#eea2ad\" stroke=\"black\" cx=\"135.81\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
-       "<text text-anchor=\"middle\" x=\"135.81\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">q</text>\n",
+       "<ellipse fill=\"#5cacee\" stroke=\"black\" cx=\"134\" cy=\"-18\" rx=\"18\" ry=\"18\"/>\n",
+       "<text text-anchor=\"middle\" x=\"134\" y=\"-15.5\" font-family=\"Times,serif\" font-size=\"10.00\">DM</text>\n",
        "</g>\n",
        "<!-- 1&#45;&gt;3 -->\n",
        "<g id=\"edge3\" class=\"edge\">\n",
        "<title>1&#45;&gt;3</title>\n",
-       "<path fill=\"none\" stroke=\"#878787\" d=\"M94.36,-37.19C100.15,-34.45 106.74,-31.32 112.91,-28.39\"/>\n",
-       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"119.36,-25.33 114.39,-31.18 116.2,-26.83 113.04,-28.33 113.04,-28.33 113.04,-28.33 116.2,-26.83 111.69,-25.48 119.36,-25.33 119.36,-25.33\"/>\n",
+       "<path fill=\"none\" stroke=\"#878787\" d=\"M92.6,-37.48C98.3,-34.73 104.87,-31.56 111.02,-28.6\"/>\n",
+       "<polygon fill=\"#878787\" stroke=\"#878787\" points=\"117.48,-25.48 112.55,-31.36 114.33,-27 111.18,-28.52 111.18,-28.52 111.18,-28.52 114.33,-27 109.81,-25.68 117.48,-25.48 117.48,-25.48\"/>\n",
        "</g>\n",
        "</g>\n",
        "</svg>\n"
       ],
       "text/plain": [
-       "<graphviz.graphs.Digraph at 0x7fb46141ad10>"
+       "<graphviz.graphs.Digraph at 0x7fd4bd668fd0>"
       ]
      },
      "metadata": {},
      "output_type": "display_data"
+    },
+    {
+     "name": "stderr",
+     "output_type": "stream",
+     "text": [
+      "\n",
+      "(eog:13438): Atk-CRITICAL **: 10:44:14.200: atk_object_ref_state_set: assertion 'ATK_IS_OBJECT (accessible)' failed\n",
+      "\n",
+      "(eog:13438): Gtk-CRITICAL **: 10:44:14.200: gtk_accessible_get_widget: assertion 'GTK_IS_ACCESSIBLE (accessible)' failed\n"
+     ]
     }
    ],
    "source": [
@@ -9169,21 +9508,35 @@
     "# Hack to create a theory element from a string:\n",
     "smsA = ExpSMS.from_string(smsA, model=model)\n",
     "smsA.draw(\n",
-    "    # filename='sms_zprime_example1.png'\n",
+    "    filename='sms_zprime_example1.png', labelAttr = {0: 'PV', 1 : \"Z'\", 2 : 'DM', 3 : 'DM'}\n",
     ")\n",
     "\n",
     "smsB = \"(PV > zprime(1)), (zprime(1) > q(2),q(3))\"\n",
     "# Hack to create a theory element from a string:\n",
     "smsB = ExpSMS.from_string(smsB, model=model)\n",
     "smsB.draw(\n",
-    "    # filename='sms_zprime_example2.png'\n",
-    ")"
+    "    filename='sms_zprime_example2.png', labelAttr = {0: 'PV', 1 : \"Z'\", 2 : 'q', 3 : 'q'}\n",
+    ")\n",
+    "\n",
+    "smsB = \"(PV > zprime(1)), (zprime(1) > t+(2),t-(3))\"\n",
+    "# Hack to create a theory element from a string:\n",
+    "smsB = ExpSMS.from_string(smsB, model=model)\n",
+    "smsB.draw(\n",
+    "    filename='sms_zprime_example3.png', labelAttr = {0: 'PV', 1 : \"Z'\", 2 : 'q,b,t', 3 : 'q,b,t'}\n",
+    ")\n",
+    "\n",
+    "smsB = \"(PV > zprime(1)), (zprime(1) > dm(2),dm(3))\"\n",
+    "# Hack to create a theory element from a string:\n",
+    "smsB = ExpSMS.from_string(smsB, model=model)\n",
+    "smsB.draw(\n",
+    "    filename='sms_zprime_example4.png', labelAttr = {0: 'PV', 1 : \"Z'/S\", 2 : 'DM', 3 : 'DM'}\n",
+    ")\n"
    ]
   },
   {
    "cell_type": "code",
    "execution_count": null,
-   "id": "46b3f939-3597-4d80-b806-42fa16e4a9a8",
+   "id": "6cec02f3",
    "metadata": {},
    "outputs": [],
    "source": []
@@ -9205,7 +9558,7 @@
    "name": "python",
    "nbconvert_exporter": "python",
    "pygments_lexer": "ipython3",
-   "version": "3.10.12"
+   "version": "3.9.7"
   }
  },
  "nbformat": 4,
diff --git a/docs/manual/source/images/smsCoverage.svg b/docs/manual/source/images/smsCoverage.svg
index 07a8be124..ebc4a4340 100644
--- a/docs/manual/source/images/smsCoverage.svg
+++ b/docs/manual/source/images/smsCoverage.svg
@@ -22,19 +22,19 @@
             <text x="364.7619047619053" y="145.68650793650804">\Large Simplifications</text>
         </g>
         <g latexdraw:type="picture" id="id397384258">
-            <image xlink:href="/home/lessa/smodels-graphs/docs/manual/source/images/sms_coverage_sms1.png" x="17.142857142857228" y="65.60714285714268" height="347.0" width="291.0"/>
+            <image xlink:href="/home/lessa/smodels/docs/manual/source/images/sms_coverage_sms1.png" x="17.142857142857228" y="65.60714285714268" height="347.0" width="291.0"/>
         </g>
         <g latexdraw:type="picture" id="id274713965">
-            <image xlink:href="/home/lessa/smodels-graphs/docs/manual/source/images/sms_coverage_sms2.png" x="50.000000000000036" y="422.7499999999999" height="203.0" width="213.0"/>
+            <image xlink:href="/home/lessa/smodels/docs/manual/source/images/sms_coverage_sms2.png" x="50.000000000000036" y="422.7499999999999" height="203.0" width="213.0"/>
         </g>
         <g latexdraw:type="picture" id="id46427363">
-            <image xlink:href="/home/lessa/smodels-graphs/docs/manual/source/images/sms_coverage_sms3.png" x="50.0" y="639.8928571428575" height="203.0" width="213.0"/>
+            <image xlink:href="/home/lessa/smodels/docs/manual/source/images/sms_coverage_sms3.png" x="50.0" y="639.8928571428575" height="203.0" width="213.0"/>
         </g>
         <g latexdraw:type="picture" id="id404846908">
-            <image xlink:href="/home/lessa/smodels-graphs/docs/manual/source/images/sms_coverage_sms1_simp.png" x="614.2857142857139" y="71.3214285714286" height="419.0" width="227.0"/>
+            <image xlink:href="/home/lessa/smodels/docs/manual/source/images/sms_coverage_sms1_simp.png" x="614.2857142857139" y="71.3214285714286" height="419.0" width="227.0"/>
         </g>
         <g latexdraw:type="picture" id="id1555551615">
-            <image xlink:href="/home/lessa/smodels-graphs/docs/manual/source/images/sms_coverage_sms2_simp.png" x="614.2857142857143" y="537.0357142857143" height="203.0" width="227.0"/>
+            <image xlink:href="/home/lessa/smodels/docs/manual/source/images/sms_coverage_sms2_simp.png" x="614.2857142857143" y="537.0357142857143" height="203.0" width="227.0"/>
         </g>
     </g>
     <defs>