diff --git a/src/main/java/de/tlc4b/analysis/Renamer.java b/src/main/java/de/tlc4b/analysis/Renamer.java
index dd9b2d4ed3e17596b7087a3f428b9bd834d4d5ed..223999ac0836b5b520ce5147f29ef5de8be34182 100644
--- a/src/main/java/de/tlc4b/analysis/Renamer.java
+++ b/src/main/java/de/tlc4b/analysis/Renamer.java
@@ -39,6 +39,7 @@ public class Renamer extends DepthFirstAdapter {
 	private final HashSet<String> globalNames;
 	private final static Set<String> KEYWORDS = new HashSet<>();
 	static {
+		KEYWORDS.add("ACTION");
 		KEYWORDS.add("ASSUME");
 		KEYWORDS.add("ASSUMPTION");
 		KEYWORDS.add("AXIOM");
diff --git a/src/test/java/de/tlc4b/tlc/integration/FixedBugs.java b/src/test/java/de/tlc4b/tlc/integration/FixedBugs.java
index 90a830910e8328eca53fd4749b8733d91fac0e3c..0874873923ad3e3744b84c9d7807728ffcb8299a 100644
--- a/src/test/java/de/tlc4b/tlc/integration/FixedBugs.java
+++ b/src/test/java/de/tlc4b/tlc/integration/FixedBugs.java
@@ -6,7 +6,6 @@ import static org.junit.Assert.assertEquals;
 
 import org.junit.Test;
 
-
 public class FixedBugs {
 
 	@Test
@@ -20,4 +19,14 @@ public class FixedBugs {
 				+ "END";
 		assertEquals(Deadlock, testString(machine));
 	}
+
+	@Test
+	public void testActionIdentifier() throws Exception {
+		String machine =
+				"MACHINE Test\n"
+				+ "CONSTANTS ACTION\n"
+				+ "PROPERTIES ACTION={1, 2, 3} \n"
+				+ "END";
+		assertEquals(NoError, testString(machine));
+	}
 }