diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index d25f0fe674df1cdc01a76c216e00348b473a380a..0dfe571d7721e6438eb9c3a500fa5852270c3f65 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -376,6 +376,10 @@ public class BOperation extends BuiltInOPs implements ASTConstants,
 					// Tuple
 					for (int i = 0; i < k.getArgs().length; i++) {
 						OpApplNode var = (OpApplNode) k.getArgs()[i];
+						//findUnchangedVariablesInOpApplNode(var);
+						if(!(var.getOperator() instanceof OpDeclNode)) {
+							throw new RuntimeException(var.getOperator().getName() + " " + var.getLocation());
+						}
 						unchangedVariablesList.add((OpDeclNode) var
 								.getOperator());
 						String name = var.getOperator().getName().toString();