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 d062a262..b7749ee7 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
@@ -7243,7 +7243,7 @@
-
+
@@ -7273,14 +7273,14 @@
-
+
-
+
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 b31f7349..1f86ca46 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
@@ -2106,7 +2106,7 @@
-
+
@@ -2124,7 +2124,7 @@
-
+
@@ -2142,7 +2142,7 @@
-
+
@@ -2153,15 +2153,15 @@
-
+
-
+
-
+
@@ -2208,7 +2208,7 @@
-
+
@@ -2244,7 +2244,7 @@
-
+
@@ -2337,21 +2337,21 @@
-
-
-
-
-
-
-
+
+
+
-
-
+
+
+
+
+
+
@@ -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 @@
-
-
+
+
-
-
-
+
+
+
-
+
+
+
+
+
+
+
+
+
+
-
-
+
+
-
-
+
+