introduce SIG_Routes definition for train

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",
+    "definitions": [
+    { "name":"SIG_Routes",
+      "value" : "%s.(s:S|fst~[SIG~[{s}]])",
+      "comment": "Routes for a signal"
+    }
+    ],
     "items": [
     {
         "id": "%0",
@@ -43,29 +49,22 @@
         ]
     },
     {
-        "id": "s1",
-        "event": "route_formation",
-        "predicates": ["r : {R1,R2,R3}"]
-    },
-    {
-        "id": "s2",
-        "event": "route_formation",
-        "predicates": ["r : {R4,R5}"]
-    },
-    {
-        "id": "s4",
-        "event": "route_formation",
-        "predicates": ["r : {R6,R10}"]
+        "for": {"from":1, "to":5},
+        "id": "s%0",
+        "event": "route_reservation",
+        "predicates": ["r : SIG_Routes(S%0)"]
     },
     {
-        "id": "s5",
-        "event": "route_formation",
-        "predicates": ["r : {R7,R9}"]
+        "for": {"from":1, "to":5},
+        "id": "s%0_red",
+        "event": "route_reservation",
+        "predicates": ["r : SIG_Routes(S%0)"]
     },
     {
-        "id": "s3",
+        "for": {"from":1, "to":5},
+        "id": "s%0_green",
         "event": "route_formation",
-        "predicates": ["r=R8"]
+        "predicates": ["r : SIG_Routes(S%0)"]
     }
 ]
 }