diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index 6c3ba3d178bea0e7889325cee944ea4ea0bd98a9..bbbbe4ca383c4a3069e8cd42732f42f6fcf92bad 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -54,7 +54,9 @@ public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstan
 			String defName = opDef.getName().toString();
 			// GOAL, ANIMATION_FUNCTION, ANIMATION_IMGxx, SET_PREF_xxx,
 			if (defName.equals("GOAL") || defName.startsWith("ANIMATION_") || defName.startsWith("CUSTOM_GRAPH_")
+			        || defName.startsWith("ASSERT_CTL") || defName.startsWith("ASSERT_LTL") 
 					|| defName.startsWith("SET_PREF_") || defName.startsWith("HEURISTIC_FUNCTION")
+					|| defName.startsWith("VISB_JSON_FILE")
 					|| defName.startsWith("SCOPE") || defName.startsWith("scope_")) {
 				bDefinitionsSet.add(opDef);
 			}