diff --git a/.github/workflows/PR-into-next-version.yml b/.github/workflows/PR-into-next-version.yml
new file mode 100644
index 000000000..0945cb9a4
--- /dev/null
+++ b/.github/workflows/PR-into-next-version.yml
@@ -0,0 +1,18 @@
+name: PR to merge into the next version
+
+on:
+ push:
+ branches:
+ - 'maintenance/MPS-*'
+
+jobs:
+ create-pr:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Create PR
+ uses: specificlanguages/cascading-merge@v2
+ with:
+ branch_prefix: maintenance/MPS-
+ merge_prefix: merge/MPS-
+ default_merge_prefix: merge/
+ token: ${{ secrets.MPS_CI_BUILD_BOT_ACCESS_TOKEN }}
diff --git a/build.gradle.kts b/build.gradle.kts
index 1e603d723..e9a0db8e1 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -15,7 +15,7 @@ plugins {
id("de.itemis.mps.gradle.common") version "1.20.+"
}
-val jbrVers = "17.0.6-b653.34"
+val jbrVers = "17.0.6-b469.82"
downloadJbr {
jbrVersion = jbrVers
@@ -41,7 +41,7 @@ val bugfix = "1"
fun appendOpt(str:String, pre:String) = if(!str.isEmpty()) "${pre}${str}" else ""
-val mpsVersion = "$major.$minor" + appendOpt(bugfix, ".")
+val mpsVersion = "2022.2.2" + appendOpt(bugfix, ".")
// Dependency versions
val platformVersion = "$major.$minor.+"
@@ -175,13 +175,26 @@ tasks {
destination = file("code/languages/com.mbeddr.formal.nusmv/.mps/libraries.xml")
}
+ // "com.fasten.safety.rcp.pluginSolution" makes use of the mbeddr actionsfilter plugin.
+ // The "actionsfilter" plugin and dependencies must be copied to "MPS\plugins" folder in order to load properly.
+ val copy_mbeddr_actionsfilter by registering(Copy::class) {
+ dependsOn(resolveLanguageLibs)
+ description="Installs 'com.mbeddr.mpsutil.actionsfilter' plugin and its dependencies into 'MPS\\plugins' directory."
+ from("$dependenciesDir/com.mbeddr.platform")
+ include("com.mbeddr.mpsutil.actionsfilter/",
+ "de.itemis.mps.editor.widgets/",
+ "de.slisson.mps.hacks/",
+ "de.itemis.mps.tooltips/")
+ into("$mpsHomeDir/plugins")
+ }
+
val setup by registering {
dependsOn(generateLibrariesXml)
description = "Set up MPS project libraries. Libraries are read in from projectlibraries.properties file."
}
val build_allScripts by registering(BuildLanguages::class) {
- dependsOn(resolveMps, resolveLanguageLibs)
+ dependsOn(resolveMps, resolveLanguageLibs, copy_mbeddr_actionsfilter)
script = "$buildDir/scripts/build_all_scripts.xml"
}
diff --git a/code/languages/com.fasten.symo/.mps/vcs.xml b/code/languages/com.fasten.symo/.mps/vcs.xml
index 3f84d8c4c..ea27c914f 100644
--- a/code/languages/com.fasten.symo/.mps/vcs.xml
+++ b/code/languages/com.fasten.symo/.mps/vcs.xml
@@ -1,6 +1,7 @@
+
\ No newline at end of file
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 ba5c068d9..bb96c00cb 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 b4994c205..8f908b0cc 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/devkits/fasten.nusmv/fasten.nusmv.devkit b/code/languages/com.mbeddr.formal.nusmv/devkits/fasten.nusmv/fasten.nusmv.devkit
index bdc782bd3..60bd9bb4f 100644
--- a/code/languages/com.mbeddr.formal.nusmv/devkits/fasten.nusmv/fasten.nusmv.devkit
+++ b/code/languages/com.mbeddr.formal.nusmv/devkits/fasten.nusmv/fasten.nusmv.devkit
@@ -16,5 +16,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 a92258a11..9bbf1a74e 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
@@ -22,7 +22,7 @@
1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)
-
+
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 072a3f017..a5a1e7bf2 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
@@ -7,7 +7,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl
index 0f705891d..a89b9f508 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl
@@ -20,7 +20,7 @@
4bf9a860-39c9-4cb2-8004-157a961bf42c(com.mbeddr.formal.base.operatorspanel.rt)
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps
index 91c6dcb39..f4a25becf 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps
@@ -6,7 +6,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 e94ec7b10..a26f86e28 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
@@ -28,6 +28,7 @@
2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)
8da51702-0e05-44c8-96db-8f11d1457c0c(com.mpsbasics.snode.utils)
498d89d2-c2e9-11e2-ad49-6cf049e62fe5(MPS.IDEA)
+ 1f4710e9-f074-4732-a0bd-6fa896d282b7(com.mpsbasics.project.utils)
@@ -89,6 +90,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 305e50af8..89230f63e 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
@@ -620,6 +620,27 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -641,7 +662,37 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1969,8 +2020,8 @@
-
-
+
+
@@ -1997,8 +2048,8 @@
-
-
+
+
@@ -4351,6 +4402,26 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -4399,9 +4470,9 @@
-
+
+
-
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps
index 01f365a54..918f1295f 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps
@@ -18,6 +18,7 @@
+
@@ -274,9 +275,9 @@
-
-
-
+
+
+
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 4b3dec0e0..375a97f78 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
@@ -86,7 +86,7 @@
8d29d73f-ed99-4652-ae0a-083cdfe53c34(jetbrains.mps.ide.platform)
-
+
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 b6b1e8c8a..ce55d9a30 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
@@ -5,7 +5,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 a8fccbf9f..6456d24b6 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
@@ -39,7 +39,7 @@
-
+
@@ -113,7 +113,7 @@
1ed103c3-3aa6-49b7-9c21-6765ee11f224(MPS.Editor)
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps
index 2448df391..2297d0730 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/generator/template/main@generator.mps
@@ -4,7 +4,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 ff66b77ed..d74f77836 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
@@ -12,7 +12,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps
index 329f476ec..45725b5cc 100644
--- a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/flatten.util.mps
@@ -4,7 +4,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/models/com.mbeddr.formal.nusmv.importer.textGen.mps b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/models/com.mbeddr.formal.nusmv.importer.textGen.mps
new file mode 100644
index 000000000..b9fd24928
--- /dev/null
+++ b/code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/models/com.mbeddr.formal.nusmv.importer.textGen.mps
@@ -0,0 +1,62 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
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 2273e872f..81a8fd522 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
@@ -79,7 +79,7 @@
d8f591ec-4d86-4af2-9f92-a9e93c803ffa(jetbrains.mps.lang.scopes)
-
+
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 d80859d9f..a6c314e97 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
@@ -5,7 +5,7 @@
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd
index 51c0226c5..c3f17c997 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd
@@ -23,6 +23,7 @@
6ed54515-acc8-4d1e-a16c-9fd6cfe951ea(MPS.Core)
8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)
83ed2dfe-f724-46cc-852a-dce086daee3f(com.mbeddr.formal.base)
+ d7931714-a11c-4108-aa0e-246d86070dad(com.mbeddr.mpsutil.smodule.runtime)
@@ -31,6 +32,7 @@
+
@@ -51,6 +53,7 @@
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps
index a14dd35a7..ae1a2f763 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps
@@ -14,6 +14,7 @@
+
@@ -42,41 +43,34 @@
-
-
+
+
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
-
@@ -96,7 +90,9 @@
+
+
@@ -123,6 +119,11 @@
+
+
+
+
+
@@ -159,6 +160,10 @@
+
+
+
+
@@ -175,9 +180,13 @@
+
+
+
+
@@ -228,6 +237,7 @@
+
@@ -248,10 +258,17 @@
+
+
+
+
+
+
+
@@ -293,6 +310,11 @@
+
+
+
+
+
@@ -333,6 +355,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -350,6 +384,7 @@
+
@@ -363,10 +398,14 @@
+
+
+
+
@@ -386,6 +425,13 @@
+
+
+
+
+
+
+
@@ -409,6 +455,7 @@
+
@@ -425,13 +472,19 @@
+
+
+
+
+
+
@@ -2441,6 +2494,11 @@
+
+
+
+
+
@@ -2656,16 +2714,133 @@
-
+
+
+
+
+
+
+
+
+
+
+
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -2778,15 +2953,6 @@
-
-
-
-
-
-
-
-
-
@@ -2908,5 +3074,1084 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd
index 0090b7157..9ad3e68de 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/com.mbeddr.formal.base.tooling.msd
@@ -37,7 +37,7 @@
5ad14eca-28d7-4bce-b8e0-648908a49062(org.apache.batik)
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps
index 400daeec0..a4baa40d4 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/analyzer.mps
@@ -5,8 +5,9 @@
-
+
+
@@ -221,11 +222,6 @@
-
-
-
-
-
@@ -239,6 +235,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -372,8 +382,12 @@
-
-
+
+
+
+
+
+
@@ -386,13 +400,21 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -498,8 +520,12 @@
-
-
+
+
+
+
+
+
@@ -512,8 +538,12 @@
-
-
+
+
+
+
+
+
@@ -524,8 +554,12 @@
-
-
+
+
+
+
+
+
@@ -539,8 +573,12 @@
-
-
+
+
+
+
+
+
@@ -549,8 +587,12 @@
-
-
+
+
+
+
+
+
@@ -718,8 +760,12 @@
-
-
+
+
+
+
+
+
@@ -900,8 +946,12 @@
-
-
+
+
+
+
+
+
@@ -1145,8 +1195,12 @@
-
-
+
+
+
+
+
+
@@ -1194,8 +1248,12 @@
-
-
+
+
+
+
+
+
@@ -1216,8 +1274,12 @@
-
-
+
+
+
+
+
+
@@ -1226,9 +1288,6 @@
-
-
-
@@ -1252,6 +1311,13 @@
+
+
+
+
+
+
+
@@ -1300,8 +1366,12 @@
-
-
+
+
+
+
+
+
@@ -1340,8 +1410,12 @@
-
-
+
+
+
+
+
+
@@ -1735,8 +1809,12 @@
-
-
+
+
+
+
+
+
@@ -1969,8 +2047,12 @@
-
-
+
+
+
+
+
+
@@ -2025,8 +2107,12 @@
-
-
+
+
+
+
+
+
@@ -2038,16 +2124,24 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -2061,8 +2155,12 @@
-
-
+
+
+
+
+
+
@@ -2075,8 +2173,12 @@
-
-
+
+
+
+
+
+
@@ -2090,8 +2192,12 @@
-
-
+
+
+
+
+
+
@@ -2101,8 +2207,12 @@
-
-
+
+
+
+
+
+
@@ -2163,8 +2273,12 @@
-
-
+
+
+
+
+
+
@@ -2286,8 +2400,12 @@
-
-
+
+
+
+
+
+
@@ -2378,8 +2496,12 @@
-
-
+
+
+
+
+
+
@@ -2420,8 +2542,12 @@
-
-
+
+
+
+
+
+
@@ -2458,8 +2584,12 @@
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/com.mbeddr.formal.base.tooling.project.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/com.mbeddr.formal.base.tooling.project.mps
index 82765f617..cbb0521ab 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/com.mbeddr.formal.base.tooling.project.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/com.mbeddr.formal.base.tooling.project.mps
@@ -13,377 +13,12 @@
+
+
+
+
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps
index 69e10f9cd..d7d2a86c2 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/make.mps
@@ -5,7 +5,7 @@
-
+
@@ -247,11 +247,6 @@
-
-
-
-
-
@@ -269,6 +264,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -334,10 +343,14 @@
-
-
-
+
+
+
+
+
+
+
@@ -396,8 +409,12 @@
-
-
+
+
+
+
+
+
@@ -465,8 +482,12 @@
-
-
+
+
+
+
+
+
@@ -571,8 +592,12 @@
-
-
+
+
+
+
+
+
@@ -588,10 +613,14 @@
-
-
-
+
+
+
+
+
+
+
@@ -600,10 +629,14 @@
-
-
-
+
+
+
+
+
+
+
@@ -613,8 +646,12 @@
-
-
+
+
+
+
+
+
@@ -624,12 +661,16 @@
-
-
-
+
+
+
+
+
+
+
@@ -703,8 +744,12 @@
-
-
+
+
+
+
+
+
@@ -775,8 +820,12 @@
-
-
+
+
+
+
+
+
@@ -805,8 +854,12 @@
-
-
+
+
+
+
+
+
@@ -821,8 +874,12 @@
-
-
+
+
+
+
+
+
@@ -837,8 +894,12 @@
-
-
+
+
+
+
+
+
@@ -1146,8 +1207,12 @@
-
-
+
+
+
+
+
+
@@ -1377,8 +1442,12 @@
-
-
+
+
+
+
+
+
@@ -1434,8 +1503,12 @@
-
-
+
+
+
+
+
+
@@ -1473,12 +1546,20 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -1489,13 +1570,21 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -2055,8 +2144,12 @@
-
-
+
+
+
+
+
+
@@ -2074,8 +2167,12 @@
-
-
+
+
+
+
+
+
@@ -2446,8 +2543,12 @@
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps
index 2bfba658c..7ef84f119 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/nodes.mps
@@ -4,10 +4,11 @@
-
+
+
@@ -167,9 +168,6 @@
-
-
-
@@ -181,6 +179,20 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -253,8 +265,12 @@
-
-
+
+
+
+
+
+
@@ -272,8 +288,12 @@
-
-
+
+
+
+
+
+
@@ -301,8 +321,12 @@
-
-
+
+
+
+
+
+
@@ -330,8 +354,12 @@
-
-
+
+
+
+
+
+
@@ -375,8 +403,12 @@
-
-
+
+
+
+
+
+
@@ -736,8 +768,12 @@
-
-
+
+
+
+
+
+
@@ -907,8 +943,12 @@
-
-
+
+
+
+
+
+
@@ -1137,8 +1177,12 @@
-
-
+
+
+
+
+
+
@@ -1263,12 +1307,20 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps
index 330e7aa3f..844fe732f 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_model.mps
@@ -3,8 +3,9 @@
-
+
+
@@ -80,17 +81,26 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -133,8 +143,12 @@
-
-
+
+
+
+
+
+
@@ -146,8 +160,12 @@
-
-
+
+
+
+
+
+
@@ -157,8 +175,12 @@
-
-
+
+
+
+
+
+
@@ -168,8 +190,12 @@
-
-
+
+
+
+
+
+
@@ -179,8 +205,12 @@
-
-
+
+
+
+
+
+
@@ -190,8 +220,12 @@
-
-
+
+
+
+
+
+
@@ -201,8 +235,12 @@
-
-
+
+
+
+
+
+
@@ -212,8 +250,12 @@
-
-
+
+
+
+
+
+
@@ -223,14 +265,15 @@
-
-
+
+
+
+
+
+
-
-
-
@@ -238,8 +281,12 @@
-
-
+
+
+
+
+
+
@@ -249,8 +296,19 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -263,13 +321,21 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -291,8 +357,12 @@
-
-
+
+
+
+
+
+
@@ -370,8 +440,12 @@
-
-
+
+
+
+
+
+
@@ -434,8 +508,12 @@
-
-
+
+
+
+
+
+
@@ -458,8 +536,12 @@
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps
index 93b52d120..d232952cd 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/results_ui.mps
@@ -4,8 +4,9 @@
-
+
+
@@ -248,17 +249,26 @@
-
-
-
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -342,8 +352,12 @@
-
-
+
+
+
+
+
+
@@ -428,8 +442,12 @@
-
-
+
+
+
+
+
+
@@ -468,12 +486,16 @@
-
-
-
+
+
+
+
+
+
+
@@ -513,8 +535,12 @@
-
-
+
+
+
+
+
+
@@ -567,16 +593,24 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -595,8 +629,12 @@
-
-
+
+
+
+
+
+
@@ -607,14 +645,18 @@
-
-
-
+
+
+
+
+
+
+
@@ -767,8 +809,12 @@
-
-
+
+
+
+
+
+
@@ -856,9 +902,6 @@
-
-
-
@@ -867,6 +910,13 @@
+
+
+
+
+
+
+
@@ -899,15 +949,19 @@
-
-
-
+
+
+
+
+
+
+
@@ -923,17 +977,25 @@
-
-
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
@@ -956,8 +1018,12 @@
-
-
+
+
+
+
+
+
@@ -1531,14 +1597,15 @@
-
-
+
+
+
+
+
+
-
-
-
@@ -1560,8 +1627,19 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -1674,15 +1752,23 @@
-
-
-
+
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -1711,8 +1797,12 @@
-
-
+
+
+
+
+
+
@@ -1726,8 +1816,12 @@
-
-
+
+
+
+
+
+
@@ -1738,8 +1832,12 @@
-
-
+
+
+
+
+
+
@@ -1750,8 +1848,12 @@
-
-
+
+
+
+
+
+
@@ -1774,8 +1876,12 @@
-
-
+
+
+
+
+
+
@@ -1805,8 +1911,12 @@
-
-
+
+
+
+
+
+
@@ -1863,8 +1973,12 @@
-
-
+
+
+
+
+
+
@@ -1874,8 +1988,12 @@
-
-
+
+
+
+
+
+
@@ -1903,8 +2021,12 @@
-
-
+
+
+
+
+
+
@@ -1933,8 +2055,12 @@
-
-
+
+
+
+
+
+
@@ -1963,8 +2089,12 @@
-
-
+
+
+
+
+
+
@@ -1973,8 +2103,12 @@
-
-
+
+
+
+
+
+
@@ -1989,8 +2123,12 @@
-
-
+
+
+
+
+
+
@@ -2422,8 +2560,12 @@
-
-
+
+
+
+
+
+
@@ -2625,8 +2767,12 @@
-
-
+
+
+
+
+
+
@@ -4763,8 +4909,12 @@
-
-
+
+
+
+
+
+
@@ -4969,8 +5119,12 @@
-
-
+
+
+
+
+
+
@@ -5056,15 +5210,19 @@
-
-
-
+
+
+
+
+
+
+
@@ -5254,12 +5412,20 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -5294,8 +5460,12 @@
-
-
+
+
+
+
+
+
@@ -5308,8 +5478,12 @@
-
-
+
+
+
+
+
+
@@ -5322,8 +5496,12 @@
-
-
+
+
+
+
+
+
@@ -5336,8 +5514,12 @@
-
-
+
+
+
+
+
+
@@ -5352,8 +5534,12 @@
-
-
+
+
+
+
+
+
@@ -5366,8 +5552,12 @@
-
-
+
+
+
+
+
+
@@ -5382,8 +5572,12 @@
-
-
+
+
+
+
+
+
@@ -5396,15 +5590,19 @@
-
-
-
+
+
+
+
+
+
+
@@ -5416,15 +5614,19 @@
-
-
-
+
+
+
+
+
+
+
@@ -5436,8 +5638,12 @@
-
-
+
+
+
+
+
+
@@ -5450,8 +5656,12 @@
-
-
+
+
+
+
+
+
@@ -5470,13 +5680,14 @@
-
-
+
+
+
+
+
+
-
-
-
@@ -6543,8 +6754,12 @@
-
-
+
+
+
+
+
+
@@ -6630,8 +6845,12 @@
-
-
+
+
+
+
+
+
@@ -6663,8 +6882,12 @@
-
-
+
+
+
+
+
+
@@ -6688,8 +6911,12 @@
-
-
+
+
+
+
+
+
@@ -6749,8 +6976,12 @@
-
-
+
+
+
+
+
+
@@ -6814,6 +7045,13 @@
+
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps
index e94896bda..e94f9dc24 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/simulator.mps
@@ -8,9 +8,10 @@
-
+
+
@@ -160,11 +161,6 @@
-
-
-
-
-
@@ -180,6 +176,19 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -276,8 +285,12 @@
-
-
+
+
+
+
+
+
@@ -296,8 +309,12 @@
-
-
+
+
+
+
+
+
@@ -307,14 +324,22 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -478,8 +503,12 @@
-
-
+
+
+
+
+
+
@@ -508,8 +537,12 @@
-
-
+
+
+
+
+
+
@@ -530,13 +563,21 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps
index 427204f5b..b15963bef 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/tools.mps
@@ -7,7 +7,7 @@
-
+
@@ -220,11 +220,6 @@
-
-
-
-
-
@@ -235,6 +230,7 @@
+
@@ -254,6 +250,7 @@
+
@@ -460,8 +457,12 @@
-
-
+
+
+
+
+
+
@@ -923,8 +924,12 @@
-
-
+
+
+
+
+
+
@@ -982,15 +987,19 @@
-
-
-
+
+
+
+
+
+
+
@@ -1008,8 +1017,12 @@
-
-
+
+
+
+
+
+
@@ -1021,8 +1034,12 @@
-
-
+
+
+
+
+
+
@@ -1034,8 +1051,12 @@
-
-
+
+
+
+
+
+
@@ -1047,8 +1068,12 @@
-
-
+
+
+
+
+
+
@@ -1056,8 +1081,12 @@
-
-
+
+
+
+
+
+
@@ -1068,8 +1097,12 @@
-
-
+
+
+
+
+
+
@@ -1079,8 +1112,12 @@
-
-
+
+
+
+
+
+
@@ -1088,8 +1125,12 @@
-
-
+
+
+
+
+
+
@@ -1135,8 +1176,12 @@
-
-
+
+
+
+
+
+
@@ -1814,8 +1859,12 @@
-
-
+
+
+
+
+
+
@@ -2122,8 +2171,12 @@
-
-
+
+
+
+
+
+
@@ -2309,8 +2362,12 @@
-
-
+
+
+
+
+
+
@@ -2579,8 +2636,12 @@
-
-
+
+
+
+
+
+
@@ -2608,8 +2669,12 @@
-
-
+
+
+
+
+
+
@@ -2666,10 +2731,14 @@
-
-
-
+
+
+
+
+
+
+
@@ -2686,8 +2755,12 @@
-
-
+
+
+
+
+
+
@@ -2705,8 +2778,12 @@
-
-
+
+
+
+
+
+
@@ -2716,8 +2793,12 @@
-
-
+
+
+
+
+
+
@@ -2742,8 +2823,12 @@
-
-
+
+
+
+
+
+
@@ -2894,8 +2979,12 @@
-
-
+
+
+
+
+
+
@@ -2930,12 +3019,20 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -2952,8 +3049,12 @@
-
-
+
+
+
+
+
+
@@ -2969,8 +3070,12 @@
-
-
+
+
+
+
+
+
@@ -2978,8 +3083,12 @@
-
-
+
+
+
+
+
+
@@ -3010,8 +3119,12 @@
-
-
+
+
+
+
+
+
@@ -3127,8 +3240,12 @@
-
-
+
+
+
+
+
+
@@ -3158,12 +3275,20 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -3193,8 +3318,12 @@
-
-
+
+
+
+
+
+
@@ -3215,8 +3344,12 @@
-
-
+
+
+
+
+
+
@@ -3236,8 +3369,12 @@
-
-
+
+
+
+
+
+
@@ -3269,16 +3406,24 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
@@ -3289,8 +3434,12 @@
-
-
+
+
+
+
+
+
@@ -3299,21 +3448,29 @@
-
-
-
+
+
+
+
+
+
+
-
-
-
+
+
+
+
+
+
+
@@ -3442,13 +3599,21 @@
-
-
+
+
+
+
+
+
-
-
+
+
+
+
+
+
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps
index f1446688c..aff07e42b 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.tooling/models/ui.mps
@@ -46,25 +46,14 @@
-
-
-
-
-
-
-
-
-
-
-
@@ -72,16 +61,6 @@
-
-
-
-
-
-
-
-
-
-
@@ -92,10 +71,6 @@
-
-
-
-
@@ -105,34 +80,15 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -144,7 +100,6 @@
-
@@ -155,9 +110,6 @@
-
-
-
@@ -169,13 +121,10 @@
-
-
-
@@ -188,7 +137,6 @@
-
@@ -198,14 +146,8 @@
-
-
-
-
-
-
@@ -214,7 +156,6 @@
-
@@ -235,23 +176,10 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -261,13 +189,8 @@
-
-
-
-
-
@@ -275,65 +198,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -351,46 +215,19 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@@ -1868,3667 +1705,5 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
diff --git a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
index 82ed16590..12d6b1de4 100644
--- a/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
+++ b/code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.build/models/com.mbeddr.formal.nusmv.build.mps
@@ -9,7 +9,7 @@
-
+
@@ -444,6 +444,33 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -471,8 +498,11 @@
-
-
+
+
+
+
+
@@ -495,8 +525,20 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -576,6 +618,12 @@
+
+
+
+
+
+
@@ -713,11 +761,6 @@
-
-
-
-
-
@@ -756,37 +799,34 @@
-
-
-
+
+
+
+
+
+
-
+
-
+
-
-
-
-
-
-
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
@@ -794,18 +834,18 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
@@ -813,18 +853,18 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
@@ -832,18 +872,18 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
@@ -851,18 +891,18 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
@@ -870,18 +910,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -889,18 +932,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -908,18 +954,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -927,34 +976,21 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -962,18 +998,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -981,18 +1020,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1000,18 +1042,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1019,18 +1064,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1038,18 +1086,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1057,18 +1108,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1076,18 +1130,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1095,18 +1152,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1114,18 +1174,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1133,18 +1196,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1152,18 +1218,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1171,18 +1240,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1190,18 +1262,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1209,18 +1284,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1228,18 +1306,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1247,18 +1328,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1266,18 +1350,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1285,18 +1372,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1304,18 +1394,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1323,18 +1416,21 @@
-
-
-
+
+
+
-
+
-
+
-
+
-
-
+
+
+
+
+
@@ -1342,18 +1438,21 @@
-
-
-
+
+
+
-
+
-
+