diff --git a/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java b/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
index 030e63909a46c54e6661022ad9f6b0412c82bd9d..84696b21d10fc3e7cbf6d1ae91ae9773f5272621 100644
--- a/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
+++ b/src/test/java/de/tlc4b/analysis/UnsupportedConstructsTest.java
@@ -11,12 +11,12 @@ public class UnsupportedConstructsTest {
 	@Test(expected = NotSupportedException.class)
 	public void testExtends() throws Exception {
 		final String machine = "MACHINE test\n" + "EXTENDS foo\n PROMOTES bar\n" + "END";
-		tryTranslating(machine);
+		translate(machine);
 	}
 
 	@Test(expected = NotSupportedException.class)
 	public void testImplementation() throws Exception {
 		final String machine = "IMPLEMENTATION test REFINES foo END";
-		tryTranslating(machine);
+		translate(machine);
 	}
 }
diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java
index c4eeec7d3b648130164b6bde202c0426b48eb75e..c8ca6a921ed936e3dfdd93208412b86a989db0b0 100644
--- a/src/test/java/de/tlc4b/util/TestUtil.java
+++ b/src/test/java/de/tlc4b/util/TestUtil.java
@@ -79,13 +79,6 @@ public class TestUtil {
 		assertEquals(expectedB, actualB);
 	}
 
-	public static void tryTranslating(final String machineString) throws BCompoundException {
-		TLC4BGlobals.setForceTLCToEvalConstants(false);
-		ToolIO.setMode(ToolIO.TOOL);
-		Translator b2tlaTranslator = new Translator(machineString);
-		b2tlaTranslator.translate();
-	}
-
 	public static String translateTLA2B(String moduleName, String tlaString, String configString)
 			throws TLA2BException {
 		return de.tla2bAst.Translator.translateModuleString(moduleName, tlaString, configString);