diff --git a/src/main/java/de/tlc4b/analysis/transformation/DefinitionsEliminator.java b/src/main/java/de/tlc4b/analysis/transformation/DefinitionsEliminator.java
index 3456f2e9dd0a80896419b07d5f3ac65db0a2b1c4..a995456a58b74a726bfa7680f5c68382fd5ad5d5 100644
--- a/src/main/java/de/tlc4b/analysis/transformation/DefinitionsEliminator.java
+++ b/src/main/java/de/tlc4b/analysis/transformation/DefinitionsEliminator.java
@@ -81,9 +81,12 @@ public class DefinitionsEliminator extends DepthFirstAdapter {
 			if (e instanceof AExpressionDefinitionDefinition) {
 				String name = ((AExpressionDefinitionDefinition) e).getName()
 						.getText().toString();
-				if (name.startsWith("ASSERT_LTL") || name.startsWith("scope_")
+				if (name.startsWith("ASSERT_LTL")
+				        || name.startsWith("scope_")
 						|| name.startsWith("SET_PREF_")
-						|| name.startsWith("ANIMATION_FUNCTION"))
+				        || name.equals("VISB_JSON_FILE")
+						|| name.startsWith("ANIMATION_FUNCTION")
+						|| name.startsWith("ANIMATION_IMG"))
 					continue;
 			}
 			e.apply(this);
@@ -100,6 +103,9 @@ public class DefinitionsEliminator extends DepthFirstAdapter {
 				if (name.startsWith("ASSERT_LTL")
 						|| name.startsWith("scope_")
 						|| name.startsWith("SET_PREF_")
+				        || name.equals("VISB_JSON_FILE")
+				        || name.startsWith("ANIMATION_FUNCTION")
+						|| name.startsWith("ANIMATION_IMG")
 						|| StandardMadules
 								.isKeywordInModuleExternalFunctions(name)) {