diff --git a/src/test/resources/de/hhu/stups/codegenerator/Assert.mch b/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
index f90b05d120d1b6c6e0baf44c134727788c0ce3df..84e1b91e41d9c798804472dd25d85f56efa6e562 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Assert.mch
@@ -1,15 +1,15 @@
 MACHINE Assert
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..99 /* NAT */
+INVARIANT  level : 0..99 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = ASSERT floor<99 THEN floor := floor + 1 END ;
+	inc = ASSERT level<99 THEN level := level + 1 END ;
 
-	dec = ASSERT floor>0 THEN floor := floor - 1 END
+	dec = ASSERT level>0 THEN level := level - 1 END
 
 END
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lift.mch b/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
index bc57c76fd4177c464e0c77a80ea34e3999654352..5c5658de9cee6bcac99efed7951ce10a4f14cbb7 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Lift.mch
@@ -1,15 +1,15 @@
 MACHINE Lift
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..100 /* NAT */
+INVARIANT  level : 0..100 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = PRE floor<100 THEN floor := floor + 1 END ;
+	inc = PRE level<100 THEN level := level + 1 END ;
 
-	dec = PRE floor>0 THEN floor := floor - 1 END
+	dec = PRE level>0 THEN level := level - 1 END
 
 END
\ No newline at end of file
diff --git a/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch b/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
index 45c8853fffb1803fcb550d0fe8049b9031ace91d..423cb3d02541816e4b31925c918a7fa1c55282a6 100644
--- a/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
+++ b/src/test/resources/de/hhu/stups/codegenerator/Lift_External.mch
@@ -1,15 +1,15 @@
 MACHINE Lift_External
 
-VARIABLES  floor
+VARIABLES  level
 
-INVARIANT  floor : 0..100 /* NAT */
+INVARIANT  level : 0..100 /* NAT */
 
-INITIALISATION floor := 0
+INITIALISATION level := 0
 
 OPERATIONS
 
-	inc = PRE floor<100 THEN floor := floor + 1 END ;
-	dec = PRE floor>0 THEN floor := floor - 1 END;
+	inc = PRE level<100 THEN level := level + 1 END ;
+	dec = PRE level>0 THEN level := level - 1 END;
 	EXTERNAL_SEND = skip
 
 END
\ No newline at end of file