add visualisation for level 1 of train

requires new probcli to avoid error messages

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

Train_B_Book/train.json

 {
     "svg": "train.svg",
+    "comment": "File for train_4 with Beebook topology",
     "items": [
     {
         "id": "a",
@@ -75,13 +76,15 @@
 	    "for": {"from":1, "to":5},
         "id": "s%0_green",
         "attr": "fill",
-        "value": "IF S%0 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END"
+        "value": "IF S%0 : GRN THEN \"#22FF22\" ELSE \"#F6FFD5\" END",
+        "optional": "true"
     },
     {
 	    "for": {"from":1, "to":5},
         "id": "s%0_red",
         "attr": "fill",
-        "value": "IF S%0 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END"
+        "value": "IF S%0 : GRN THEN \"#FFD5D5\" ELSE \"#FF2222\" END",
+        "optional": "true"
     }
 ],
     "events": [

Train_B_Book/train1.json

+{
+    "svg": "train.svg",
+    "include": "train.json",
+    "comment": "File for train_1 with Beebook topology",
+    "items": [
+    {
+	    "for": {"from":1, "to":5},
+        "id": "s%0_green",
+        "attr": "fill",
+        "value": "\"#F6FFD5\"",
+        "override":"true"
+    },
+    {
+	    "for": {"from":1, "to":5},
+        "id": "s%0_red",
+        "attr": "fill",
+        "value": "\"#F6FFD5\"",
+        "override":"true"
+    }
+],
+    "events": [
+    
+]
+}

Train_B_Book/train_1_beebook.prob2project

@@ -37,15 +37,33 @@
       "simulation": null,
       "visBVisualisation": "train.json",
       "historyChartItems": []
+    },
+    {
+      "name": "train_1_beebook_mch",
+      "description": "",
+      "location": "train_1_beebook_mch.eventb",
+      "lastUsedPreferenceName": "default",
+      "requirements": [],
+      "ltlFormulas": [],
+      "ltlPatterns": [],
+      "symbolicCheckingFormulas": [],
+      "symbolicAnimationFormulas": [],
+      "simulationItems": [],
+      "testCases": [],
+      "traces": [],
+      "modelcheckingItems": [],
+      "simulation": null,
+      "visBVisualisation": "train1.json",
+      "historyChartItems": []
     }
   ],
   "preferences": [],
   "metadata": {
     "fileType": "Project",
     "formatVersion": 20,
-    "savedAt": "2022-02-01T11:40:09.518609Z",
+    "savedAt": "2022-02-01T16:13:48.000636Z",
     "creator": "User",
-    "proB2KernelVersion": "4.0.0-SNAPSHOT",
+    "proB2KernelVersion": "3.15.0",
     "proBCliVersion": null,
     "modelName": null
   }