Combine compareEqualsConfig into compareModuleAndConfig

src/test/java/de/tlc4b/ltl/LTLFormulaTest.java

 package de.tlc4b.ltl;
 
 
-import static de.tlc4b.util.TestUtil.compareEqualsConfig;
+import static de.tlc4b.util.TestUtil.compareModuleAndConfig;
 import static de.tlc4b.util.TestUtil.compareLTLFormula;
 
 import org.junit.BeforeClass;
@@ -284,7 +284,7 @@ public class LTLFormulaTest {
 				+ "====";
 		final String config = "SPECIFICATION Spec\nINVARIANT Invariant\nPROPERTIES ASSERT_LTL\n";
 		
-		compareEqualsConfig(expected, config, machine);
+		compareModuleAndConfig(expected, config, machine);
 	}
 	
 }

src/test/java/de/tlc4b/prettyprint/EnumeratedSetsTest.java

@@ -17,6 +17,6 @@ public class EnumeratedSetsTest {
 				+ "set2 == {d}\n" 
 				+ "====";
 		final String config = "CONSTANTS\na = a\nb = b\nc = c\nd = d\n";
-		compareEqualsConfig(expected, config, machine);
+		compareModuleAndConfig(expected, config, machine);
 	}
 }

src/test/java/de/tlc4b/util/TestUtil.java

@@ -116,7 +116,7 @@ public class TestUtil {
 		// TODO Check that re-translated B machine matches original input?
 	}
 
-	public static void compareEqualsConfig(String expectedModule, String expectedConfig, String machine)
+	public static void compareModuleAndConfig(String expectedModule, String expectedConfig, String machine)
 			throws Exception {
 		Translator b2tlaTranslator = new Translator(machine);
 		b2tlaTranslator.translate();
@@ -131,10 +131,6 @@ public class TestUtil {
 		assertEquals(expectedConfig, b2tlaTranslator.getConfigString());
 	}
 
-	public static void compareModuleAndConfig(String expectedModule, String expectedConfig, String machine) throws Exception {
-		compareEqualsConfig(expectedModule, expectedConfig, machine);
-	}
-
 	public static void compareEquals(String expected, String machine) throws BException {
 		try {
 			Translator b2tlaTranslator = new Translator(machine);