diff --git a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
index 949138d92f0defb7f10a33a4a26e945b38db5f6f..93b803528e1b536a9f85861eab007dccc9d55887 100644
--- a/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
+++ b/src/main/java/de/tla2b/translation/BDefinitionsFinder.java
@@ -54,7 +54,7 @@ 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_FUNCTION")
-					|| defName.startsWith("ANIMATION_IMG") || defName.startsWith("SET_PREF_")) {
+					|| defName.startsWith("ANIMATION_")|| defName.startsWith("CUSTOM_GRAPH_") || defName.startsWith("SET_PREF_")) {
 				bDefinitionsSet.add(opDef);
 			}
 		}