add more standard ProB DEFINITIONS

like VISB_JSON_FILE

Signed-off-by: Michael Leuschel <leuschel@uni-duesseldorf.de>

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)) {