Remove SuffixIdentifierRenaming, the default quotes invalid identifiers which is enough

src/main/java/de/tla2bAst/Translator.java

@@ -8,7 +8,6 @@ import de.be4.classicalb.core.parser.exceptions.PreParseException;
 import de.be4.classicalb.core.parser.node.Node;
 import de.be4.classicalb.core.parser.node.Start;
 import de.be4.classicalb.core.parser.util.PrettyPrinter;
-import de.be4.classicalb.core.parser.util.SuffixIdentifierRenaming;
 import de.hhu.stups.sablecc.patch.PositionedNode;
 import de.prob.prolog.output.PrologTermOutput;
 import de.tla2b.analysis.*;
@@ -82,7 +81,6 @@ public class Translator {
 		Translator translator = new Translator(moduleName, moduleString, configString);
 		Start bAST = translator.getBAST();
 		PrettyPrinter pp = new PrettyPrinter();
-		pp.setRenaming(new SuffixIdentifierRenaming());
 		bAST.apply(pp);
 		return pp.getPrettyPrint();
 	}
@@ -230,7 +228,6 @@ public class Translator {
 		}
 
 		PrettyPrinter pp = new PrettyPrinter();
-		pp.setRenaming(new SuffixIdentifierRenaming());
 		getBAST().apply(pp);
 		try (BufferedWriter out = Files.newBufferedWriter(machineFile.toPath(), StandardCharsets.UTF_8)) {
 			out.write(GENERATED_BY_TLA2B_HEADER + VERSION_NUMBER + " */\n" + pp.getPrettyPrint());

src/test/java/de/tla2b/expression/TestKeywords.java

@@ -38,6 +38,6 @@ public class TestKeywords {
 
 	@Test
 	public void testDom() throws Exception {
-		compareExpr("dom_1 = 1", "dom = 1");
+		compareExpr("`dom` = 1", "dom = 1");
 	}
 }

src/test/java/de/tla2b/prettyprintb/OperationsTest.java

@@ -23,7 +23,6 @@ public class OperationsTest {
 		String resultTree = TestUtil.getTreeAsString(start);
 
 		PrettyPrinter pp = new PrettyPrinter();
-		// FIXME Is it intentional that we don't use SuffixIdentifierRenaming here?
 		start.apply(pp);
 
 		// parse pretty print result

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

@@ -10,7 +10,6 @@ import de.be4.classicalb.core.parser.exceptions.BCompoundException;
 import de.be4.classicalb.core.parser.node.Node;
 import de.be4.classicalb.core.parser.node.Start;
 import de.be4.classicalb.core.parser.util.PrettyPrinter;
-import de.be4.classicalb.core.parser.util.SuffixIdentifierRenaming;
 import de.prob.prolog.output.PrologTermStringOutput;
 import de.tla2b.exceptions.TLA2BException;
 import de.tla2bAst.Translator;
@@ -51,7 +50,6 @@ public class TestUtil {
 		Start start = t.translate();
 
 		PrettyPrinter pp = new PrettyPrinter();
-		// FIXME Is it intentional that we don't use SuffixIdentifierRenaming here?
 		start.apply(pp);
 		System.out.println(pp.getPrettyPrint());
 		final BParser parser = new BParser("testcase");
@@ -69,7 +67,6 @@ public class TestUtil {
 		ToolIO.reset();
 		Start resultNode = Translator.translateExpressionWithoutModel(tlaExpr);
 		PrettyPrinter pp = new PrettyPrinter();
-		pp.setRenaming(new SuffixIdentifierRenaming());
 		resultNode.apply(pp);
 		String bAstString = getAstStringofBExpressionString(bExpr);
 		String result = getAstStringofBExpressionString(pp.getPrettyPrint());
@@ -82,7 +79,6 @@ public class TestUtil {
 		trans.translate();
 		Start resultNode = trans.translateExpressionIncludingModel(tlaExpr);
 		PrettyPrinter pp = new PrettyPrinter();
-		pp.setRenaming(new SuffixIdentifierRenaming());
 		resultNode.apply(pp);
 		String bAstString = getAstStringofBExpressionString(bExpr);
 		String result = getAstStringofBExpressionString(pp.getPrettyPrint());
@@ -120,7 +116,6 @@ public class TestUtil {
 		Translator t = new Translator(tlaFile);
 		Start start = t.translate();
 		PrettyPrinter pp = new PrettyPrinter();
-		pp.setRenaming(new SuffixIdentifierRenaming());
 		start.apply(pp);
 		final BParser parser = new BParser("testcase");
 		parser.parseMachine(pp.getPrettyPrint());