fix position infos for operation identifiers

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
 		);

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;
 	}