diff --git a/benchmarks/Python_Primitives/CAN_BUS_tlc_exec.py b/benchmarks/Python_Primitives/CAN_BUS_tlc_exec.py
index 662eed848198f6cf2d5663bc21c39aabcf20d052..65589f2d0396bb00ad53dffe75f5158f064f91c9 100644
--- a/benchmarks/Python_Primitives/CAN_BUS_tlc_exec.py
+++ b/benchmarks/Python_Primitives/CAN_BUS_tlc_exec.py
@@ -4517,7 +4517,7 @@ class CAN_BUS_tlc_exec:
         self._CAN_BUS_tlc.T1Wait(BInteger(2))
         self._CAN_BUS_tlc.T3Wait()
         self._CAN_BUS_tlc.Update(BInteger(4))
-        while((self.counter.less(BInteger(10000))).booleanValue()):
+        while((self.counter.less(BInteger(300000))).booleanValue()):
             self._CAN_BUS_tlc.T3Evaluate()
             self._CAN_BUS_tlc.T3Read(BInteger(4),BInteger(0))
             self._CAN_BUS_tlc.T3Poll()
@@ -4563,15 +4563,14 @@ class CAN_BUS_tlc_exec:
             self._CAN_BUS_tlc.T1Evaluate()
             self._CAN_BUS_tlc.T1Calculate(BInteger(1))
             self._CAN_BUS_tlc.T3Initiate()
-            self._CAN_BUS_tlc.T1SendResult(BInteger(3),BInteger(1))
-            self._CAN_BUS_tlc.T3writebus(BInteger(4),BInteger(0))
+            self._CAN_BUS_tlc.T1SendResult(BInteger(3), BInteger(1))
+            self._CAN_BUS_tlc.T3writebus(BInteger(4), BInteger(0))
             self._CAN_BUS_tlc.T1Wait(BInteger(2))
             self._CAN_BUS_tlc.T3Wait()
             self._CAN_BUS_tlc.Update(BInteger(4))
             self.counter = self.counter.plus(BInteger(1))
 
 
-
 if __name__ == '__main__':
     exec = CAN_BUS_tlc_exec()
-    exec.simulate()
\ No newline at end of file
+    exec.simulate()
diff --git a/benchmarks/Python_Primitives/Cruise_finite1_deterministic.py b/benchmarks/Python_Primitives/Cruise_finite1_deterministic.py
index 3dd2a44fe28c3ccd84ccd765d1d771dc7a0754ee..30bdf34616b82a6bbf64d150fef85c8a806ca7f1 100644
--- a/benchmarks/Python_Primitives/Cruise_finite1_deterministic.py
+++ b/benchmarks/Python_Primitives/Cruise_finite1_deterministic.py
@@ -2,6 +2,7 @@ from btypes.BBoolean import BBoolean
 from btypes.BSet import BSet
 from btypes.BInteger import BInteger
 from btypes.BObject import BObject
+from btypes.BUtils import BUtils
 
 
 from enum import Enum, auto
@@ -39,7 +40,7 @@ class ODset(BObject, Enum):
     def equal(self, o):
         return BBoolean(self == o)
 
-    def unequal(o):
+    def unequal(self, o):
         return BBoolean(self != o)
 
     def __str__(self):
diff --git a/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py b/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
index 60d9ccbf40147cc3f838c6f6f4083ef9828f086e..613246553f38a8e8a742ade0c84d1c9dec6c2c0b 100644
--- a/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
+++ b/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
@@ -1,206 +1,203 @@
 from btypes.BBoolean import BBoolean
 from btypes.BInteger import BInteger
 from btypes.BObject import BObject
-from Cruise_finite1_deterministic import Cruise_finite1_deterministic
-
+from Cruise_finite1_deterministic import *
 
 
 class Cruise_finite1_deterministic_exec:
 
-
-
-
     def __init__(self):
         self._Cruise_finite1_deterministic = Cruise_finite1_deterministic()
 
         self.counter = BInteger(0)
 
     def simulate(self):
-        while((self.counter.less(BInteger(100000))).booleanValue()):
+        while (self.counter.less(BInteger(100000))).booleanValue():
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CruiseSpeedChangeFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CruiseSpeedChangeFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.CruiseOff()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.CCInitialisationDelayFinished()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.CruiseSpeedChangeDelayFinished()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleReachesCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(Cruise_finite1_deterministic.RSset.RSpos,Cruise_finite1_deterministic.ODset.ODclose)
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(
+                RSset.RSpos, ODset.ODclose)
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
@@ -208,644 +205,646 @@ class Cruise_finite1_deterministic_exec:
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesVeryClose()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ObstacleDisappears()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(Cruise_finite1_deterministic.RSset.RSpos,Cruise_finite1_deterministic.ODset.ODclose)
-            self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
-            self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(RSset.RSpos,
+                                                                               ODset.ODclose)
+            self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
+            self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ObstacleStartsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesVeryClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelSlower()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ObstacleStartsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesVeryClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelSlower()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDisappears()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(Cruise_finite1_deterministic.RSset.RSpos,Cruise_finite1_deterministic.ODset.ODclose)
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(RSset.RSpos,
+                                                                               ODset.ODclose)
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesBig()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
@@ -853,502 +852,503 @@ class Cruise_finite1_deterministic_exec:
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDisappears()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(Cruise_finite1_deterministic.RSset.RSpos,Cruise_finite1_deterministic.ODset.ODclose)
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseActive(RSset.RSpos,
+                                                                               ODset.ODclose)
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesVeryClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelSlower()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.VehicleManageObstacle(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
-            self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.VehicleManageObstacle(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
+            self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelSlower()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesExtreme()
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesVeryClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelSlower()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleDistanceBecomesClose()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.ObstacleDisappears()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
             self._Cruise_finite1_deterministic.ObstacleBecomesOld()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseInactive(Cruise_finite1_deterministic.RSset.RSpos)
+            self._Cruise_finite1_deterministic.ObstacleAppearsWhenCruiseInactive(RSset.RSpos)
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.VehicleExceedsMaxCruiseSpeed()
@@ -1356,22 +1356,22 @@ class Cruise_finite1_deterministic_exec:
             self._Cruise_finite1_deterministic.ObstacleStopsTravelFaster()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleFallsBelowMaxCruiseSpeed()
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(False))
-            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True),BBoolean(False))
-            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False),BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(False))
+            self._Cruise_finite1_deterministic.CCInitialisationFinished(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(True), BBoolean(False))
+            self._Cruise_finite1_deterministic.SetCruiseSpeed(BBoolean(False), BBoolean(True))
             self._Cruise_finite1_deterministic.VehicleLeavesCruiseSpeed()
             self._Cruise_finite1_deterministic.ExternalForcesBecomesNormal()
             self._Cruise_finite1_deterministic.ObstacleStartsTravelFaster()
@@ -1380,5 +1380,82 @@ class Cruise_finite1_deterministic_exec:
             self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
             self.counter = self.counter.plus(BInteger(1))
 
+    def getCruiseAllowed(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_CruiseAllowed()
+        return out
+
+    def getCruiseActive(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_CruiseActive()
+        return out
+
+    def getVehicleAtCruiseSpeed(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_VehicleAtCruiseSpeed()
+        return out
+
+    def getVehicleCanKeepSpeed(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_VehicleCanKeepSpeed()
+        return out
+
+    def getVehicleTryKeepSpeed(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_VehicleTryKeepSpeed()
+        return out
+
+    def getSpeedAboveMax(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_SpeedAboveMax()
+        return out
+
+    def getVehicleTryKeepTimeGap(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_VehicleTryKeepTimeGap()
+        return out
+
+    def getNumberOfSetCruise(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_NumberOfSetCruise()
+        return out
+
+    def getCruiseSpeedAtMax(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_CruiseSpeedAtMax()
+        return out
+
+    def getObstacleDistance(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_ObstacleDistance()
+        return out
+
+    def getObstacleStatusJustChanged(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_ObstacleStatusJustChanged()
+        return out
+
+    def getCCInitialisationInProgress(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_CCInitialisationInProgress()
+        return out
+
+    def getCruiseSpeedChangeInProgress(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_CruiseSpeedChangeInProgress()
+        return out
+
+    def getObstaclePresent(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_ObstaclePresent()
+        return out
+
+    def getObstacleRelativeSpeed(self):
+        out = None
+        out = self._Cruise_finite1_deterministic._get_ObstacleRelativeSpeed()
+        return out
 
 
+if __name__ == '__main__':
+    _exec = Cruise_finite1_deterministic_exec()
+    _exec.simulate()
diff --git a/benchmarks/Python_Primitives/LiftExec.py b/benchmarks/Python_Primitives/LiftExec.py
index 44f757afae989341a2fcd733f5a287faf99dba94..d1224fffa1f482f580875606fd9b3fbba4035918 100644
--- a/benchmarks/Python_Primitives/LiftExec.py
+++ b/benchmarks/Python_Primitives/LiftExec.py
@@ -3,43 +3,36 @@ from btypes.BInteger import BInteger
 from Lift import Lift
 
 
-
 class LiftExec:
 
-
-
-
     def __init__(self):
         self._Lift = Lift()
 
         self.counter = BInteger(0)
 
     def simulate(self):
-        while((self.counter.less(BInteger(3000))).booleanValue()):
+        while (self.counter.less(BInteger(10000000))).booleanValue():
             i = None
             i = BInteger(0)
-            while((i.less(BInteger(100))).booleanValue()):
+            while (i.less(BInteger(100))).booleanValue():
                 self._Lift.inc()
                 i = i.plus(BInteger(1))
 
             _i = None
             _i = BInteger(0)
-            while((_i.less(BInteger(100))).booleanValue()):
+            while (_i.less(BInteger(100))).booleanValue():
                 self._Lift.dec()
                 _i = _i.plus(BInteger(1))
 
             self.counter = self.counter.plus(BInteger(1))
 
-
-
     def getCounter(self):
         out = None
         out = self.counter
         return out
 
 
-
 if __name__ == "__main__":
-    lift = LiftExec();
+    lift = LiftExec()
     lift.simulate()
-    print(lift.getCounter())
\ No newline at end of file
+    print(lift.getCounter())
diff --git a/benchmarks/Python_Primitives/Makefile b/benchmarks/Python_Primitives/Makefile
index b7e712179eb8538eea6248ea38d7f7393d21fb8a..5783809b71178d929b0187f9bba9eef79c25bb87 100644
--- a/benchmarks/Python_Primitives/Makefile
+++ b/benchmarks/Python_Primitives/Makefile
@@ -4,9 +4,9 @@
 
 all: CAN_BUS_tlc_exec Cruise_finite1_deterministic_exec LiftExec scheduler_deterministic_exec Sieve TrafficLightExec Train_1_beebook_deterministic_exec sort_m2_data1000_exec
 
-BTYPESPYTHON=../../btypes_primitives/src/main/python_immutable2
+BTYPESPYTHON=../../btypes_primitives/src/main/python_magicstack_immutable
 OUTPUT ?= runtimes.txt
 
 % : export PYTHONPATH = $(BTYPESPYTHON)
 % :
-	/usr/bin/time -f "%C %E %M" -ao $(OUTPUT) python $@.py
+	/usr/bin/time -f "%C %E %M" -ao $(OUTPUT) pypy3 $@.py
diff --git a/benchmarks/Python_Primitives/Sieve.py b/benchmarks/Python_Primitives/Sieve.py
index 3866a4cc6b94d8f68962151ce993a1e316369925..9a921da4d8eb0012365868ed75f416ef410dfeef 100644
--- a/benchmarks/Python_Primitives/Sieve.py
+++ b/benchmarks/Python_Primitives/Sieve.py
@@ -5,10 +5,9 @@ from btypes.BInteger import BInteger
 class Sieve:
 
     def __init__(self):
-        li = 2000000
-        self.numbers = BSet.interval(BInteger(2), BInteger(li))
+        self.numbers = BSet.interval(BInteger(2), BInteger(2000000))
         self.cur = BInteger(2)
-        self.limit = BInteger(li)
+        self.limit = BInteger(2000000)
 
     def ComputeNumberOfPrimes(self):
         while (BBoolean(self.cur.greater(BInteger(1)).booleanValue() and self.cur.multiply(self.cur).lessEqual(self.limit).booleanValue())).booleanValue():
diff --git a/benchmarks/Python_Primitives/Train_1_beebook_deterministic.py b/benchmarks/Python_Primitives/Train_1_beebook_deterministic.py
index 913f6399e2ea4a28e65c6aa0197509edf9206108..dd1c865e3a5c2ddd541414190b4351cbdb1aa470 100644
--- a/benchmarks/Python_Primitives/Train_1_beebook_deterministic.py
+++ b/benchmarks/Python_Primitives/Train_1_beebook_deterministic.py
@@ -1,12 +1,13 @@
 from btypes.BBoolean import BBoolean
 from btypes.BSet import BSet
-from btypes.BInteger import BInteger
 from btypes.BRelation import BRelation
 from btypes.BTuple import BTuple
 from btypes.BObject import BObject
 
 
 from enum import Enum, auto
+
+
 class BLOCKS(BObject, Enum):
     A = auto()
     B = auto()
@@ -23,7 +24,6 @@ class BLOCKS(BObject, Enum):
     M = auto()
     N = auto()
 
-
     def equal(self, o):
         return BBoolean(self == o)
 
@@ -62,6 +62,8 @@ class BLOCKS(BObject, Enum):
 
 
 from enum import Enum, auto
+
+
 class ROUTES(BObject, Enum):
     R1 = auto()
     R2 = auto()
@@ -74,7 +76,6 @@ class ROUTES(BObject, Enum):
     R9 = auto()
     R10 = auto()
 
-
     def equal(self, o):
         return BBoolean(self == o)
 
@@ -112,16 +113,16 @@ class Train_1_beebook_deterministic:
     _ROUTES = BSet(ROUTES.R1, ROUTES.R2, ROUTES.R3, ROUTES.R4, ROUTES.R5, ROUTES.R6, ROUTES.R7, ROUTES.R8, ROUTES.R9, ROUTES.R10)
 
     def __init__(self):
-        fst = BRelation(BTuple(ROUTES.R1, BLOCKS.L), BTuple(ROUTES.R2, BLOCKS.L), BTuple(ROUTES.R3, BLOCKS.L), BTuple(ROUTES.R4, BLOCKS.M), BTuple(ROUTES.R5, BLOCKS.M), BTuple(ROUTES.R6, BLOCKS.C), BTuple(ROUTES.R7, BLOCKS.G), BTuple(ROUTES.R8, BLOCKS.N), BTuple(ROUTES.R9, BLOCKS.G), BTuple(ROUTES.R10, BLOCKS.N))
-        lst = BRelation(BTuple(ROUTES.R1, BLOCKS.C), BTuple(ROUTES.R2, BLOCKS.G), BTuple(ROUTES.R3, BLOCKS.N), BTuple(ROUTES.R4, BLOCKS.G), BTuple(ROUTES.R5, BLOCKS.N), BTuple(ROUTES.R6, BLOCKS.L), BTuple(ROUTES.R7, BLOCKS.L), BTuple(ROUTES.R8, BLOCKS.L), BTuple(ROUTES.R9, BLOCKS.M), BTuple(ROUTES.R10, BLOCKS.M))
-        nxt = BRelation(BTuple(ROUTES.R1, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.C))), BTuple(ROUTES.R2, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.E), BTuple(BLOCKS.E, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.G))), BTuple(ROUTES.R3, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.N))), BTuple(ROUTES.R4, BRelation(BTuple(BLOCKS.M, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.G))), BTuple(ROUTES.R5, BRelation(BTuple(BLOCKS.M, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.N))), BTuple(ROUTES.R6, BRelation(BTuple(BLOCKS.C, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R7, BRelation(BTuple(BLOCKS.G, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.E), BTuple(BLOCKS.E, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R8, BRelation(BTuple(BLOCKS.N, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R9, BRelation(BTuple(BLOCKS.G, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.M))), BTuple(ROUTES.R10, BRelation(BTuple(BLOCKS.N, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.M))))
+        self.fst = BRelation(BTuple(ROUTES.R1, BLOCKS.L), BTuple(ROUTES.R2, BLOCKS.L), BTuple(ROUTES.R3, BLOCKS.L), BTuple(ROUTES.R4, BLOCKS.M), BTuple(ROUTES.R5, BLOCKS.M), BTuple(ROUTES.R6, BLOCKS.C), BTuple(ROUTES.R7, BLOCKS.G), BTuple(ROUTES.R8, BLOCKS.N), BTuple(ROUTES.R9, BLOCKS.G), BTuple(ROUTES.R10, BLOCKS.N))
+        self.lst = BRelation(BTuple(ROUTES.R1, BLOCKS.C), BTuple(ROUTES.R2, BLOCKS.G), BTuple(ROUTES.R3, BLOCKS.N), BTuple(ROUTES.R4, BLOCKS.G), BTuple(ROUTES.R5, BLOCKS.N), BTuple(ROUTES.R6, BLOCKS.L), BTuple(ROUTES.R7, BLOCKS.L), BTuple(ROUTES.R8, BLOCKS.L), BTuple(ROUTES.R9, BLOCKS.M), BTuple(ROUTES.R10, BLOCKS.M))
+        self.nxt = BRelation(BTuple(ROUTES.R1, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.C))), BTuple(ROUTES.R2, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.E), BTuple(BLOCKS.E, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.G))), BTuple(ROUTES.R3, BRelation(BTuple(BLOCKS.L, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.N))), BTuple(ROUTES.R4, BRelation(BTuple(BLOCKS.M, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.G))), BTuple(ROUTES.R5, BRelation(BTuple(BLOCKS.M, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.N))), BTuple(ROUTES.R6, BRelation(BTuple(BLOCKS.C, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R7, BRelation(BTuple(BLOCKS.G, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.E), BTuple(BLOCKS.E, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R8, BRelation(BTuple(BLOCKS.N, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.D), BTuple(BLOCKS.D, BLOCKS.B), BTuple(BLOCKS.B, BLOCKS.A), BTuple(BLOCKS.A, BLOCKS.L))), BTuple(ROUTES.R9, BRelation(BTuple(BLOCKS.G, BLOCKS.F), BTuple(BLOCKS.F, BLOCKS.K), BTuple(BLOCKS.K, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.M))), BTuple(ROUTES.R10, BRelation(BTuple(BLOCKS.N, BLOCKS.J), BTuple(BLOCKS.J, BLOCKS.I), BTuple(BLOCKS.I, BLOCKS.H), BTuple(BLOCKS.H, BLOCKS.M))))
         self._ic_set_0 = BRelation()
         for _ic_b_1 in self._BLOCKS:
-            for _ic_r_1 in self._ROUTES:
-                if(BBoolean(nxt.domain().elementOf(_ic_r_1).booleanValue() and BBoolean(nxt.functionCall(_ic_r_1).domain().elementOf(_ic_b_1).booleanValue() or nxt.functionCall(_ic_r_1)._range().elementOf(_ic_b_1).booleanValue()).booleanValue())).booleanValue():
-                    _ic_set_0 = _ic_set_0.union(BRelation(BTuple(_ic_b_1, _ic_r_1)))
+            for _ic_r_1 in Train_1_beebook_deterministic._ROUTES:
+                if(BBoolean(self.nxt.domain().elementOf(_ic_r_1).booleanValue() and BBoolean(self.nxt.functionCall(_ic_r_1).domain().elementOf(_ic_b_1).booleanValue() or self.nxt.functionCall(_ic_r_1)._range().elementOf(_ic_b_1).booleanValue()).booleanValue())).booleanValue():
+                    _ic_set_0 = self._ic_set_0.union(BRelation(BTuple(_ic_b_1, _ic_r_1)))
 
-        rtbl = _ic_set_0
+        self.rtbl = self._ic_set_0
         self.resrt = BSet()
         self.resbl = BSet()
         self.rsrtbl = BRelation()
@@ -129,84 +130,57 @@ class Train_1_beebook_deterministic:
         self.TRK = BRelation()
         self.frm = BSet()
         self.LBT = BSet()
-        self.visited = BSet()
 
     def route_reservation(self, r):
         _ld_resrt = self.resrt
 
         _ld_rsrtbl = self.rsrtbl
-        _ld_visited = self.visited
         _ld_resbl = self.resbl
         self.resrt = _ld_resrt.union(BSet(r))
-        self.rsrtbl = _ld_rsrtbl.union(rtbl.rangeRestriction(BSet(r)))
-        self.resbl = _ld_resbl.union(rtbl.inverse().relationImage(BSet(r)))
-        self.visited = _ld_visited.union(BSet(BInteger(1)))
-
+        self.rsrtbl = _ld_rsrtbl.union(self.rtbl.rangeRestriction(BSet(r)))
+        self.resbl = _ld_resbl.union(self.rtbl.inverse().relationImage(BSet(r)))
 
     def route_freeing(self, r):
         _ld_resrt = self.resrt
 
         _ld_frm = self.frm
-        _ld_visited = self.visited
         self.resrt = _ld_resrt.difference(BSet(r))
         self.frm = _ld_frm.difference(BSet(r))
-        self.visited = _ld_visited.union(BSet(BInteger(2)))
-
 
     def FRONT_MOVE_1(self, r):
         _ld_OCC = self.OCC
         _ld_LBT = self.LBT
-        _ld_visited = self.visited
-        self.OCC = _ld_OCC.union(BSet(fst.functionCall(r)))
-        self.LBT = _ld_LBT.union(BSet(fst.functionCall(r)))
-        self.visited = _ld_visited.union(BSet(BInteger(3)))
-
+        self.OCC = _ld_OCC.union(BSet(self.fst.functionCall(r)))
+        self.LBT = _ld_LBT.union(BSet(self.fst.functionCall(r)))
 
     def FRONT_MOVE_2(self, b):
-        _ld_OCC = self.OCC
-        _ld_visited = self.visited
-        self.OCC = _ld_OCC.union(BSet(self.TRK.functionCall(b)))
-        self.visited = _ld_visited.union(BSet(BInteger(4)))
-
+        self.OCC = self.OCC.union(BSet(self.TRK.functionCall(b)))
 
     def BACK_MOVE_1(self, b):
         _ld_OCC = self.OCC
         _ld_LBT = self.LBT
         _ld_rsrtbl = self.rsrtbl
-        _ld_visited = self.visited
         _ld_resbl = self.resbl
         self.OCC = _ld_OCC.difference(BSet(b))
         self.rsrtbl = _ld_rsrtbl.domainSubstraction(BSet(b))
         self.resbl = _ld_resbl.difference(BSet(b))
         self.LBT = _ld_LBT.difference(BSet(b))
-        self.visited = _ld_visited.union(BSet(BInteger(5)))
-
 
     def BACK_MOVE_2(self, b):
         _ld_OCC = self.OCC
         _ld_LBT = self.LBT
         _ld_rsrtbl = self.rsrtbl
-        _ld_visited = self.visited
         _ld_resbl = self.resbl
         self.OCC = _ld_OCC.difference(BSet(b))
         self.rsrtbl = _ld_rsrtbl.domainSubstraction(BSet(b))
         self.resbl = _ld_resbl.difference(BSet(b))
         self.LBT = _ld_LBT.difference(BSet(b)).union(BSet(self.TRK.functionCall(b)))
-        self.visited = _ld_visited.union(BSet(BInteger(6)))
-
 
     def point_positionning(self, r):
-        _ld_TRK = self.TRK
-        _ld_visited = self.visited
-        self.TRK = _ld_TRK.domainSubstraction(nxt.functionCall(r).domain()).rangeSubstraction(nxt.functionCall(r)._range()).union(nxt.functionCall(r))
-        self.visited = _ld_visited.union(BSet(BInteger(7)))
-
+        self.TRK = self.TRK.domainSubstraction(self.nxt.functionCall(r).domain()).rangeSubstraction(self.nxt.functionCall(r)._range()).union(self.nxt.functionCall(r))
 
     def route_formation(self, r):
-        _ld_frm = self.frm
-        _ld_visited = self.visited
-        self.frm = _ld_frm.union(BSet(r))
-        self.visited = _ld_visited.union(BSet(BInteger(8)))
+        self.frm = self.frm.union(BSet(r))
 
 
     def _get_LBT(self):
@@ -230,7 +204,4 @@ class Train_1_beebook_deterministic:
     def _get_rsrtbl(self):
         return self.rsrtbl
 
-    def _get_visited(self):
-        return self.visited
-
 
diff --git a/benchmarks/Python_Primitives/Train_1_beebook_deterministic_exec.py b/benchmarks/Python_Primitives/Train_1_beebook_deterministic_exec.py
index 9f962cf66cf4a3c344503b3a03f848c7c97a6c1d..b70296b465cf9204d56124d2063dfb8da96e6c51 100644
--- a/benchmarks/Python_Primitives/Train_1_beebook_deterministic_exec.py
+++ b/benchmarks/Python_Primitives/Train_1_beebook_deterministic_exec.py
@@ -1,7 +1,7 @@
 from btypes.BBoolean import BBoolean
 from btypes.BInteger import BInteger
 from btypes.BObject import BObject
-from Train_1_beebook_deterministic import Train_1_beebook_deterministic
+from Train_1_beebook_deterministic import *
 
 
 
@@ -16,104 +16,104 @@ class Train_1_beebook_deterministic_exec:
         self.counter = BInteger(0)
 
     def simulate(self):
-        while((self.counter.less(BInteger(1000))).booleanValue()):
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R4)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R4)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R4)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R4)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.M)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.M)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R5)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R5)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.K)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R5)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.K)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.F)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.F)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R5)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.M)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.M)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.J)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.G)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R4)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.J)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R9)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.N)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R9)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R9)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R5)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R9)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.G)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.G)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.F)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.route_reservation(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.point_positionning(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.route_formation(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.F)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R1)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.K)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_1(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.FRONT_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.K)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.I)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.H)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.C)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.B)
-            self._Train_1_beebook_deterministic.BACK_MOVE_2(Train_1_beebook_deterministic.BLOCKS.A)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.L)
-            self._Train_1_beebook_deterministic.BACK_MOVE_1(Train_1_beebook_deterministic.BLOCKS.M)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R6)
-            self._Train_1_beebook_deterministic.route_freeing(Train_1_beebook_deterministic.ROUTES.R9)
+        while((self.counter.less(BInteger(10000))).booleanValue()):
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R1)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R4)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R1)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R4)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R1)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R1)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.L)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.L)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.C)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R6)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R1)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R4)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R6)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R6)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R4)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.M)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R6)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.C)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.C)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.M)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R5)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R5)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.K)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R5)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.K)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.F)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.F)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R5)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.M)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.M)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.J)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.L)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.G)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R1)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R1)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R1)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R4)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.J)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R6)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R9)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R1)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.N)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R9)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.L)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R9)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R5)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.L)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R9)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.G)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.G)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.F)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.C)
+            self._Train_1_beebook_deterministic.route_reservation(ROUTES.R6)
+            self._Train_1_beebook_deterministic.point_positionning(ROUTES.R6)
+            self._Train_1_beebook_deterministic.route_formation(ROUTES.R6)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.F)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R1)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.K)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_1(ROUTES.R6)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.C)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.FRONT_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.K)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.I)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.H)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.C)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.B)
+            self._Train_1_beebook_deterministic.BACK_MOVE_2(BLOCKS.A)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.L)
+            self._Train_1_beebook_deterministic.BACK_MOVE_1(BLOCKS.M)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R6)
+            self._Train_1_beebook_deterministic.route_freeing(ROUTES.R9)
             self.counter = self.counter.plus(BInteger(1))
 
 
-
-
-
+if __name__ == '__main__':
+    exec = Train_1_beebook_deterministic_exec()
+    exec.simulate()
diff --git a/benchmarks/Python_Primitives/scheduler_deterministic.py b/benchmarks/Python_Primitives/scheduler_deterministic.py
index 37f9d69f2eb539f0fc6580e5b7bafbd2e5de3368..f6cb6abd466ff70e5823471a3203ea160b1e0405 100644
--- a/benchmarks/Python_Primitives/scheduler_deterministic.py
+++ b/benchmarks/Python_Primitives/scheduler_deterministic.py
@@ -49,16 +49,16 @@ class scheduler_deterministic:
     def ready(self, rr):
         if((self.waiting.elementOf(rr)).booleanValue()):
             self.waiting = self.waiting.difference(BSet(rr))
-            if((self.active.equal(BSet())).booleanValue()):
+            if self.active.equal(BSet()):
                 self.active = BSet(rr)
             else:
                 self._ready = self._ready.union(BSet(rr))
 
 
     def swap(self, pp):
-        if((self.active.unequal(BSet())).booleanValue()):
+        if self.active.unequal(BSet()):
             self.waiting = self.waiting.union(self.active)
-            if((self._ready.equal(BSet())).booleanValue()):
+            if self._ready.equal(BSet()):
                 self.active = BSet()
             else:
                 self.active = BSet(pp)
diff --git a/benchmarks/Python_Primitives/scheduler_deterministic_exec.py b/benchmarks/Python_Primitives/scheduler_deterministic_exec.py
index a6654b44cc868ce273dedf405505c64f080f1620..9a00ead890b25d398eed8a65b03f451abf9f7b09 100644
--- a/benchmarks/Python_Primitives/scheduler_deterministic_exec.py
+++ b/benchmarks/Python_Primitives/scheduler_deterministic_exec.py
@@ -1,57 +1,54 @@
 from btypes.BBoolean import BBoolean
 from btypes.BInteger import BInteger
 from btypes.BObject import BObject
-from scheduler_deterministic import scheduler_deterministic
-
+from scheduler_deterministic import *
 
 
 class scheduler_deterministic_exec:
 
 
-
-
     def __init__(self):
         self._scheduler_deterministic = scheduler_deterministic()
 
         self.counter = BInteger(0)
 
     def simulate(self):
-        while((self.counter.less(BInteger(200000))).booleanValue()):
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.ready(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.ready(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.ready(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.swap(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic.swap(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic.swap(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process3)
-            self._scheduler_deterministic.new(scheduler_deterministic.PID.process1)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process2)
-            self._scheduler_deterministic._del(scheduler_deterministic.PID.process1)
+        while((self.counter.less(BInteger(300000))).booleanValue()):
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic.new(PID.process2)
+            self._scheduler_deterministic.new(PID.process3)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic._del(PID.process2)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic._del(PID.process3)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic.new(PID.process2)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic.ready(PID.process2)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic.new(PID.process3)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic.ready(PID.process3)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic.ready(PID.process1)
+            self._scheduler_deterministic.swap(PID.process1)
+            self._scheduler_deterministic._del(PID.process2)
+            self._scheduler_deterministic.swap(PID.process3)
+            self._scheduler_deterministic.new(PID.process2)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic._del(PID.process2)
+            self._scheduler_deterministic.swap(PID.process1)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic.new(PID.process2)
+            self._scheduler_deterministic._del(PID.process1)
+            self._scheduler_deterministic._del(PID.process3)
+            self._scheduler_deterministic.new(PID.process1)
+            self._scheduler_deterministic._del(PID.process2)
+            self._scheduler_deterministic._del(PID.process1)
             self.counter = self.counter.plus(BInteger(1))
 
 
-
-
-
+if __name__ == '__main__':
+    exec = scheduler_deterministic_exec()
+    exec.simulate()
diff --git a/benchmarks/Python_Primitives/sort_m2_data1000_exec.py b/benchmarks/Python_Primitives/sort_m2_data1000_exec.py
index 376cc89f472044e241fbc846f5b40d46fceda617..053c0d0937ad95038bfcf5aff988d03394356b1c 100644
--- a/benchmarks/Python_Primitives/sort_m2_data1000_exec.py
+++ b/benchmarks/Python_Primitives/sort_m2_data1000_exec.py
@@ -1,8 +1,8 @@
 from btypes.BInteger import BInteger
 from sort_m2_data1000 import sort_m2_data1000
 
-class sort_m2_data1000_exec():
 
+class sort_m2_data1000_exec():
 
     def __init__(self):
         self._sort_m2_data1000 = sort_m2_data1000()
@@ -33,4 +33,4 @@ class sort_m2_data1000_exec():
 
 if __name__ == '__main__':
     exec = sort_m2_data1000_exec()
-    exec.simulate()
\ No newline at end of file
+    exec.simulate()