remove unneeded implements

src/main/java/de/tla2b/analysis/BOperation.java

@@ -7,13 +7,12 @@ import de.tla2b.types.TLAType;
 import de.tla2bAst.BAstCreator;
 import tla2sany.semantic.*;
 import tlc2.tool.BuiltInOPs;
-import tlc2.tool.ToolGlobals;
 
 import java.util.*;
 import java.util.Map.Entry;
 import java.util.stream.Collectors;
 
-public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals, TranslationGlobals {
+public class BOperation extends BuiltInOPs implements TranslationGlobals {
 	private final String name;
 	private final OpApplNode node;
 	private final List<OpApplNode> existQuans;

src/main/java/de/tla2b/global/OperatorTypes.java

 package de.tla2b.global;
 
-import tlc2.tool.ToolGlobals;
-
 import java.util.HashSet;
 import java.util.Set;
 
-public class OperatorTypes implements ToolGlobals, BBuildIns {
+public class OperatorTypes implements BBuildIns {
 	private static final Set<Integer> TLA_Predicate_Operators;
 	private static final Set<Integer> BBuiltIn_Predicate_Operators;
 

src/main/java/de/tla2b/translation/BDefinitionsFinder.java

@@ -11,7 +11,7 @@ import tlc2.tool.ToolGlobals;
 import java.util.HashSet;
 import java.util.Set;
 
-public class BDefinitionsFinder extends AbstractASTVisitor implements ASTConstants, ToolGlobals, TranslationGlobals {
+public class BDefinitionsFinder extends AbstractASTVisitor {
 	private final Set<OpDefNode> bDefinitionsSet = new HashSet<>();
 
 	public BDefinitionsFinder(SpecAnalyser specAnalyser) {

src/main/java/de/tla2b/translation/OperationsFinder.java

@@ -5,16 +5,15 @@ import de.tla2b.analysis.BOperation;
 import de.tla2b.analysis.SpecAnalyser;
 import de.tla2b.global.BBuildIns;
 import de.tla2b.global.BBuiltInOPs;
-import de.tla2b.global.TranslationGlobals;
 import tla2sany.semantic.*;
 import tlc2.tool.BuiltInOPs;
-import tlc2.tool.ToolGlobals;
 import util.UniqueString;
 
 import java.util.ArrayList;
 
-public class OperationsFinder extends AbstractASTVisitor implements
-	ASTConstants, ToolGlobals, TranslationGlobals {
+import static de.tla2b.global.TranslationGlobals.SUBSTITUTE_PARAM;
+
+public class OperationsFinder extends AbstractASTVisitor {
 	private final SpecAnalyser specAnalyser;
 
 	private String currentName;