diff --git a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
index e109115772c43f83080e7a01b67f8cb0cf699461..e064d6dce795577154d071f1cbbb3c196b82e4d9 100644
--- a/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/UsedDefinitionsFinder.java
@@ -61,6 +61,9 @@ public class UsedDefinitionsFinder extends AbstractASTVisitor implements ASTCons
 			// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx,
 			if (defName.equals("GOAL") || defName.startsWith("ANIMATION_FUNCTION")
 					|| defName.startsWith("ANIMATION_IMG")
+					|| defName.startsWith("ASSERT_LTL") || defName.startsWith("ASSERT_CTL")
+					|| defName.equals("VISB_JSON_FILE")
+					|| defName.startsWith("GAME_")  // GAME_OVER, GAME_PLAYER, GAME_MCTS_RUNS
 					|| defName.startsWith("SET_PREF_")  || defName.startsWith("HEURISTIC_FUNCTION")
 					|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
 				usedDefinitions.add(opDef);