diff --git a/src/main/java/de/tla2b/analysis/BOperation.java b/src/main/java/de/tla2b/analysis/BOperation.java
index 8b285d8f11a879603ab7626159c6ecfc3315e97d..7185744535123765358b8826b51ab08a52a5f1e6 100644
--- a/src/main/java/de/tla2b/analysis/BOperation.java
+++ b/src/main/java/de/tla2b/analysis/BOperation.java
@@ -98,7 +98,7 @@ public class BOperation extends BuiltInOPs implements ASTConstants, ToolGlobals,
 
 		return new AOperation(
 				new ArrayList<>(),
-				BAstCreator.createTIdentifierLiteral(name),
+				bASTCreator.createPositionedTIdentifierLiteral(name, getNode()),
 				this.getFormalParams().stream().map(bASTCreator::createIdentifierNode).collect(Collectors.toList()),
 				operationBody
 		);
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 2378f2439f5f8351fa64b3ef8cc64ac9fe015ecb..743edc3122df2cf8bc6ebe613d7fc3114ac28b48 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -2353,6 +2353,10 @@ public class BAstCreator extends BuiltInOPs
 		return Collections.singletonList(new TIdentifierLiteral(name));
 	}
 
+	public List<TIdentifierLiteral> createPositionedTIdentifierLiteral(String name, SemanticNode node) {
+		return Collections.singletonList(createPositionedNode(new TIdentifierLiteral(name), node));
+	}
+
 	public Start getStartNode() {
 		return start;
 	}