diff --git a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl
index bf1e13ce3..a029f0ed5 100644
--- a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl
+++ b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl
@@ -17,7 +17,7 @@
1144260c-e9a5-49a2-9add-39a1a1a7077e(de.itemis.mps.editor.diagram.runtime)
-
+
diff --git a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps
index b516a4c4a..dafa4b436 100644
--- a/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps
+++ b/code/languages/com.fasten.symo/languages/com.fasten.symo.hw/models/com.fasten.symo.hw.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl
index 0c31a7c13..46f40d30d 100644
--- a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl
+++ b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl
@@ -22,7 +22,7 @@
-
+
diff --git a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps
index 4e663cff2..e175f0aec 100644
--- a/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps
+++ b/code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps b/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps
index bb96c00cb..ba5c068d9 100644
--- a/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps
+++ b/code/languages/com.fasten.symo/solutions/com.fasten.symo.hw.sandbox/models/com.fasten.symo.hw.sandbox._010_simple_hw_architecture.mps
@@ -89,12 +89,12 @@
-
-
+
+
-
-
+
+
diff --git a/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps b/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps
index 8f908b0cc..b4994c205 100644
--- a/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps
+++ b/code/languages/com.fasten.symo/solutions/com.symo.sysml.ibd.sandbox/models/com.symo.sysml.ibd.sandbox._010_smoke.mps
@@ -76,7 +76,7 @@
-
+
@@ -84,7 +84,7 @@
-
+
@@ -93,20 +93,20 @@
-
+
-
+
-
-
+
+
-
-
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl
index 88ce2e9b1..d35f8f344 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl
@@ -87,7 +87,7 @@
b0b65429-cd22-4e2a-83e7-cd58bc6dd72f(com.mbeddr.formal.base.expressions)
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps
index 99c123092..fb51be1ab 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl
index 9bbf1a74e..9f23d601e 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl
@@ -27,7 +27,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps
index a5a1e7bf2..00761f9cb 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/editor.mps
@@ -5,7 +5,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl
index a26f86e28..96b6d5898 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/com.mbeddr.formal.base.mpl
@@ -34,7 +34,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
index 89230f63e..9f6ae27a7 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps
@@ -7,7 +7,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl
index 375a97f78..d8955ed07 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl
@@ -90,7 +90,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps
index ce55d9a30..5fd705b1e 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl
index 6456d24b6..15cd0c544 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl
@@ -119,7 +119,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps
index d74f77836..36bdc8309 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps
@@ -9,7 +9,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl
index 81a8fd522..0d49bd8b2 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl
@@ -82,7 +82,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps
index a6c314e97..70b85f2d4 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps b/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps
index b27723d94..c17f9a295 100644
--- a/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps
+++ b/code/languages/com.mbeddr.formal.prism/tests/test.com.mbeddr.formal.prism/models/test.com.mbeddr.formal.prism._010_smoke.mps
@@ -155,7 +155,7 @@
-
+
@@ -168,7 +168,7 @@
-
+
@@ -183,7 +183,7 @@
-
+
@@ -191,7 +191,7 @@
-
+
@@ -204,7 +204,7 @@
-
+
@@ -219,7 +219,7 @@
-
+
@@ -227,7 +227,7 @@
-
+
@@ -240,7 +240,7 @@
-
+
@@ -255,7 +255,7 @@
-
+
@@ -263,7 +263,7 @@
-
+
@@ -276,7 +276,7 @@
-
+
@@ -284,7 +284,7 @@
-
+
@@ -299,7 +299,7 @@
-
+
@@ -307,7 +307,7 @@
-
+
@@ -315,7 +315,7 @@
-
+
@@ -328,7 +328,7 @@
-
+
@@ -336,7 +336,7 @@
-
+
@@ -351,7 +351,7 @@
-
+
@@ -359,7 +359,7 @@
-
+
@@ -367,7 +367,7 @@
-
+
@@ -380,7 +380,7 @@
-
+
@@ -388,7 +388,7 @@
-
+
@@ -403,7 +403,7 @@
-
+
@@ -411,7 +411,7 @@
-
+
@@ -424,7 +424,7 @@
-
+
@@ -432,7 +432,7 @@
-
+
@@ -447,7 +447,7 @@
-
+
@@ -455,7 +455,7 @@
-
+
@@ -467,7 +467,7 @@
-
+
@@ -476,7 +476,7 @@
-
+
@@ -491,7 +491,7 @@
-
+
@@ -499,10 +499,10 @@
-
+
-
+
diff --git a/code/languages/com.mbeddr.formal.repo_admin/.mps/libraries.xml b/code/languages/com.mbeddr.formal.repo_admin/.mps/libraries.xml
new file mode 100644
index 000000000..6b84430d8
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.repo_admin/.mps/libraries.xml
@@ -0,0 +1,17 @@
+
+
+
+
+
+
\ No newline at end of file
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl
index 3c3a09993..b9ead9729 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl
@@ -62,7 +62,7 @@
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps
index 9d97046dd..fccbd6f6a 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl
index 3197d3fc8..f025bb9d5 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/com.fasten.safety.ft.mpl
@@ -31,7 +31,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps
index b3d831aa0..b7749ee7c 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft/models/com.fasten.safety.ft.editor.mps
@@ -3,7 +3,7 @@
-
+
@@ -408,6 +408,9 @@
+
+
+
@@ -459,6 +462,15 @@
+
+
+
+
+
+
+
+
+
@@ -471,6 +483,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -502,6 +526,59 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -7160,6 +7237,83 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl
index 2a5354cc1..85f94a898 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/com.mbeddr.formal.safety.cae.mpl
@@ -23,7 +23,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
index 661fd3ea7..81008f691 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.cae/models/com.mbeddr.formal.safety.cae.editor.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl
index 1ecb6e989..e60789153 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl
@@ -21,7 +21,7 @@
1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils)
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.plugin.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.plugin.mps
index 60fb284b4..5eaf43e9c 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.plugin.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/models/com.mbeddr.formal.safety.gsn.confidence.acp.plugin.mps
@@ -10,7 +10,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl
index dc8d80b61..bd806d9cb 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.mpl
@@ -25,7 +25,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps
index 5b66b3c27..d9b67f9d3 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer/models/com.mbeddr.formal.safety.gsn.confidence.dempster_shafer.editor.mps
@@ -6,7 +6,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl
index e9982e98b..1838bcc0f 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl
@@ -31,7 +31,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps
index 406e20e15..179bea85d 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl
index 4ca8d6b4e..917a89c1b 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/com.mbeddr.formal.safety.gsn.odd.mpl
@@ -133,7 +133,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/models/com.mbeddr.formal.safety.gsn.odd.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/models/com.mbeddr.formal.safety.gsn.odd.editor.mps
index c0f5e4b9c..50d7d2cb3 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/models/com.mbeddr.formal.safety.gsn.odd.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.odd/models/com.mbeddr.formal.safety.gsn.odd.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl
index 1a23dc90d..292aaf430 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/com.mbeddr.formal.safety.gsn.smv.mpl
@@ -89,7 +89,7 @@
71797868-de95-425c-8470-36aa52c8ebc4(com.mbeddr.formal.base.arch)
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/models/com.mbeddr.formal.safety.gsn.smv.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/models/com.mbeddr.formal.safety.gsn.smv.editor.mps
index cbff00bd4..78481a63c 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/models/com.mbeddr.formal.safety.gsn.smv.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.smv/models/com.mbeddr.formal.safety.gsn.smv.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl
index 771db0ad1..56566971e 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl
@@ -34,7 +34,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
index 860d30eda..119501434 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps
@@ -3,7 +3,7 @@
-
+
@@ -561,6 +561,15 @@
+
+
+
+
+
+
+
+
+
@@ -571,10 +580,19 @@
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
@@ -594,7 +612,58 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1386,12 +1455,6 @@
-
-
-
-
-
-
@@ -1640,6 +1703,12 @@
+
+
+
+
+
+
@@ -2859,9 +2928,83 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl
index 5ae7fcdd6..71f9d8d61 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl
@@ -26,7 +26,7 @@
6b84fb9e-5f09-4a61-bf31-3bfdc54820e3(com.mpsbasics.editor.utils)
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps
index 455930a0b..b172fe025 100644
--- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps
+++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps
@@ -3,7 +3,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps
index 05edc2543..1f86ca46f 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.fasten.safety.ft.sandbox/models/com.fasten.safety.ft.sandbox._010_ft_smoke.mps
@@ -116,7 +116,7 @@
-
+
@@ -171,7 +171,7 @@
-
+
@@ -182,7 +182,7 @@
-
+
@@ -190,7 +190,7 @@
-
+
@@ -254,36 +254,36 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -519,7 +519,7 @@
-
+
@@ -528,11 +528,11 @@
-
+
-
+
@@ -541,7 +541,7 @@
-
+
@@ -555,7 +555,7 @@
-
+
@@ -573,7 +573,7 @@
-
+
@@ -615,18 +615,27 @@
-
+
-
+
-
+
+
+
+
+
+
+
+
+
+
@@ -645,11 +654,11 @@
-
+
-
+
@@ -662,11 +671,11 @@
-
+
-
+
@@ -1205,8 +1214,8 @@
-
-
+
+
@@ -1223,7 +1232,7 @@
-
+
@@ -1234,18 +1243,18 @@
-
+
-
+
-
+
@@ -1263,7 +1272,7 @@
-
+
@@ -1375,14 +1384,14 @@
-
-
-
-
+
+
+
+
-
+
@@ -1403,11 +1412,11 @@
-
+
-
+
@@ -2097,8 +2106,8 @@
-
-
+
+
@@ -2115,8 +2124,8 @@
-
-
+
+
@@ -2133,26 +2142,26 @@
-
+
-
+
-
+
-
+
-
+
@@ -2199,18 +2208,18 @@
-
+
-
+
-
+
@@ -2235,8 +2244,8 @@
-
-
+
+
@@ -2329,28 +2338,19 @@
-
-
-
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
+
@@ -2998,7 +2998,7 @@
-
+
@@ -3034,42 +3034,42 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -3090,8 +3090,8 @@
-
-
+
+
@@ -3108,8 +3108,8 @@
-
-
+
+
@@ -3130,13 +3130,13 @@
-
-
-
+
+
+
-
-
-
+
+
+
@@ -3171,8 +3171,8 @@
-
-
+
+
@@ -3189,8 +3189,8 @@
-
-
+
+
@@ -3207,16 +3207,16 @@
-
-
+
+
-
+
-
+
@@ -3224,12 +3224,12 @@
-
-
+
+
-
-
+
+
@@ -3237,12 +3237,12 @@
-
-
+
+
-
-
+
+
@@ -3252,26 +3252,17 @@
-
-
-
-
-
-
-
-
-
-
+
-
+
-
+
@@ -3289,25 +3280,25 @@
-
-
+
+
-
+
-
+
-
+
@@ -3321,7 +3312,7 @@
-
+
@@ -3339,58 +3330,58 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
-
+
+
@@ -3419,8 +3410,8 @@
-
-
+
+
@@ -3437,8 +3428,8 @@
-
-
+
+
@@ -3455,8 +3446,8 @@
-
-
+
+
@@ -3473,8 +3464,8 @@
-
-
+
+
@@ -3491,8 +3482,8 @@
-
-
+
+
@@ -3509,8 +3500,8 @@
-
-
+
+
@@ -3527,8 +3518,8 @@
-
-
+
+
@@ -3545,8 +3536,8 @@
-
-
+
+
@@ -3563,16 +3554,16 @@
-
-
+
+
-
+
-
+
@@ -3580,12 +3571,12 @@
-
-
+
+
-
-
+
+
@@ -3593,11 +3584,11 @@
-
+
-
+
@@ -3606,11 +3597,11 @@
-
+
-
+
@@ -3619,12 +3610,12 @@
-
-
+
+
-
-
+
+
@@ -3632,12 +3623,8 @@
-
-
-
-
-
-
+
+
@@ -3645,38 +3632,29 @@
-
-
+
+
-
-
+
+
-
-
-
-
-
-
-
-
-
-
+
-
-
+
+
-
-
+
+
@@ -3684,12 +3662,12 @@
-
-
+
+
-
-
+
+
@@ -3697,12 +3675,12 @@
-
-
+
+
-
-
-
+
+
+
@@ -3710,29 +3688,38 @@
-
-
+
+
-
-
-
+
+
+
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps
index fe9adf067..27f62cfcd 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._010_simple_examples.mps
@@ -990,10 +990,10 @@
-
-
-
-
+
+
+
+
@@ -1001,19 +1001,19 @@
-
-
-
+
+
+
-
-
-
-
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps
index 1b335bce2..ed6948d82 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/models/com.mbeddr.formal.safety.gsn.sandbox._500_gsn_doc.mps
@@ -13,7 +13,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd
index 80d79798a..af19cdb4a 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/com.mbeddr.formal.safety.gsn.web.rt.msd
@@ -32,7 +32,7 @@
215c4c45-ba99-49f5-9ab7-4b6901a63cfd(MPS.Generator)
-
+
diff --git a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps
index b99fa2ae1..e2e3ff164 100644
--- a/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps
+++ b/code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.web.rt/models/com.mbeddr.formal.safety.gsn.web.rt.gsn_genplan.mps
@@ -3,7 +3,7 @@
-
+
@@ -17,12 +17,12 @@
-
-
+
+
-
-
+
+
diff --git a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps
index 26634dac9..55ac2c1f8 100644
--- a/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps
+++ b/code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/generator/template/main@generator.mps
@@ -300,7 +300,7 @@
-
+
@@ -364,7 +364,7 @@
-
+
@@ -878,9 +878,9 @@
-
+
-
+
@@ -920,7 +920,7 @@
-
+
@@ -1009,7 +1009,7 @@
-
+
@@ -1049,7 +1049,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps
index 14f0e669d..a141048c6 100644
--- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps
+++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/_010_simple_output.mps
@@ -79,22 +79,22 @@
-
+
-
+
-
+
-
+
-
+
diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps
index 750e3d107..b05c19999 100644
--- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps
+++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib.synthesis/models/sandbox._010_smoke_synth.mps
@@ -135,14 +135,14 @@
-
+
-
+
-
+
@@ -169,14 +169,14 @@
-
+
-
+
-
+
@@ -197,7 +197,7 @@
-
+
@@ -208,7 +208,7 @@
-
+
@@ -227,7 +227,7 @@
-
+
@@ -238,7 +238,7 @@
-
+
@@ -257,7 +257,7 @@
-
+
@@ -268,7 +268,7 @@
-
+
@@ -286,40 +286,40 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
@@ -379,11 +379,11 @@
-
+
-
+
diff --git a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps
index 81224ab82..c890d117d 100644
--- a/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps
+++ b/code/languages/com.mbeddr.formal.smt/tests/test.com.mbeddr.formal.smtlib/models/_010_smoke.mps
@@ -122,7 +122,7 @@
-
+
@@ -132,7 +132,7 @@
-
+
@@ -150,11 +150,11 @@
-
+
-
+
@@ -179,7 +179,7 @@
-
+
@@ -193,9 +193,9 @@
-
+
-
+
@@ -222,9 +222,9 @@
-
+
-
+
@@ -251,13 +251,13 @@
-
+
-
+
-
+
@@ -276,7 +276,7 @@
-
+
@@ -286,14 +286,14 @@
-
+
-
+
-
+
@@ -302,23 +302,23 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -330,13 +330,13 @@
-
+
-
+
-
+
@@ -359,17 +359,17 @@
-
+
-
+
-
+
@@ -399,13 +399,13 @@
-
+
-
+
-
+
@@ -432,31 +432,31 @@
-
+
-
+
-
+
-
+
-
+
-
+
@@ -482,40 +482,40 @@
-
+
-
+
-
+
-
+
-
+
-
+
-
+
-
+
diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/com.mbeddr.formal.spin.genplan.msd b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/com.mbeddr.formal.spin.genplan.msd
index 91c1b5186..95fdcfe57 100644
--- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/com.mbeddr.formal.spin.genplan.msd
+++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/com.mbeddr.formal.spin.genplan.msd
@@ -15,7 +15,7 @@
8ffff4a3-5838-458b-8c6d-7143a3c423b7(com.mbeddr.formal.spin.hdl#2291855968617432607)
-
+
diff --git a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps
index de13c487f..945fac855 100644
--- a/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps
+++ b/code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.genplan/models/plan@genplan.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
index f2e64bc61..4808de403 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd
@@ -80,7 +80,7 @@
-
+
@@ -97,6 +97,7 @@
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr
index 465685d55..c63194e44 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/export.mpsr
@@ -4,7 +4,7 @@
-
+
@@ -17,7 +17,7 @@
-
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr
index 7694ebff2..ee5fb7515 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr
@@ -188,76 +188,83 @@
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
@@ -266,60 +273,73 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
@@ -328,26 +348,33 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
@@ -356,16 +383,23 @@
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
@@ -374,37 +408,36 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
-
-
-
-
-
-
-
-
@@ -428,26 +461,29 @@
-
-
-
-
+
+
+
+
-
-
-
-
-
-
+
+
+
+
+
+
+
+
+
-
-
-
+
+
+
@@ -472,10 +508,10 @@
-
+
-
-
+
+
@@ -484,8 +520,8 @@
-
-
+
+
@@ -505,7 +541,7 @@
-
+
@@ -530,6 +566,14 @@
+
+
+
+
+
+
+
+
@@ -543,21 +587,13 @@
-
-
-
-
-
-
-
-
-
-
+
+
@@ -566,6 +602,14 @@
+
+
+
+
+
+
+
+
@@ -579,14 +623,6 @@
-
-
-
-
-
-
-
-
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd
index 805345b2d..d92b29bde 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/com.mbeddr.formal.safety.users_guide.msd
@@ -20,7 +20,7 @@
-
+
@@ -34,6 +34,7 @@
+
diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr
index 524ed4b90..ff853e07b 100644
--- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr
+++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc/export.mpsr
@@ -4,7 +4,7 @@
-
+
@@ -17,7 +17,7 @@
-
+