diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index 7185744535123765358b8826b51ab08a52a5f1e6..fa875b8965f64d8246b6e8493498f1306cfd4017 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -339,13 +339,10 @@ public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals,
 class PrimedVariablesFinder extends AbstractASTVisitor {
 	private final Set<SymbolNode> all;
 	private final Set<SymbolNode> twiceUsedVariables;
-	private final Hashtable<SemanticNode, Set<SymbolNode>> table;
-	private Set<SymbolNode> currentSet;
 
 	public PrimedVariablesFinder(List<ExprOrOpArgNode> list) {
 		this.all = new HashSet<>();
 		this.twiceUsedVariables = new HashSet<>();
-		this.table = new Hashtable<>();
 
 		for (ExprOrOpArgNode exprOrOpArgNode : list) {
 			findPrimedVariables(exprOrOpArgNode);
@@ -353,9 +350,7 @@ class PrimedVariablesFinder extends AbstractASTVisitor {
 	}
 
 	public void findPrimedVariables(ExprOrOpArgNode n) {
-		currentSet = new HashSet<>();
 		this.visitExprOrOpArgNode(n);
-		table.put(n, currentSet);
 	}
 
 	public void visitBuiltInNode(OpApplNode n) {
@@ -364,8 +359,6 @@ class PrimedVariablesFinder extends AbstractASTVisitor {
 				OpApplNode varNode = (OpApplNode) n.getArgs()[0];
 				SymbolNode var = varNode.getOperator();
 
-				currentSet.add(var);
-
 				if (all.contains(var)) {
 					twiceUsedVariables.add(var);
 				} else {