add .eventb export for Train refinement level 4

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

Train_B_Book/train_1_beebook.prob2project

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