diff --git a/Train_B_Book/train.json b/Train_B_Book/train.json
index 6b22370f3e81ecf6460884539d1ae21acd88dfa3..9903e8ce4cc2ab54a18c98c2fa5b08663639efec 100644
--- a/Train_B_Book/train.json
+++ b/Train_B_Book/train.json
@@ -1,5 +1,6 @@
 {
     "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": [
diff --git a/Train_B_Book/train1.json b/Train_B_Book/train1.json
new file mode 100644
index 0000000000000000000000000000000000000000..edb8e5355986de6fe6371a30a5914a2de7a867e5
--- /dev/null
+++ b/Train_B_Book/train1.json
@@ -0,0 +1,24 @@
+{
+    "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": [
+    
+]
+}
diff --git a/Train_B_Book/train_1_beebook.prob2project b/Train_B_Book/train_1_beebook.prob2project
index 229cba8fc64b95376b3138ca6fe437a7466918cc..46087fa22275636567a8ea854b14fc25404d36f2 100644
--- a/Train_B_Book/train_1_beebook.prob2project
+++ b/Train_B_Book/train_1_beebook.prob2project
@@ -37,16 +37,34 @@
       "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
   }
-}
+}
\ No newline at end of file