diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 743edc3122df2cf8bc6ebe613d7fc3114ac28b48..245110dd33ed1370d1c72054829397447c1cabb2 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -377,8 +377,7 @@ public class BAstCreator extends BuiltInOPs
 
 		List<PExpression> constantsList = new ArrayList<>();
 		for (OpDeclNode opDeclNode : bConstants) {
-			AIdentifierExpression id = createPositionedNode(
-				new AIdentifierExpression(createTIdentifierLiteral(getName(opDeclNode))), opDeclNode);
+			AIdentifierExpression id = createPositionedNode(createIdentifierNode(getName(opDeclNode)), opDeclNode);
 			constantsList.add(id);
 			TLAType type = (TLAType) opDeclNode.getToolObject(TYPE_ID);
 			types.put(id, type);
@@ -397,6 +396,10 @@ public class BAstCreator extends BuiltInOPs
 		}
 	}
 
+	public static AIdentifierExpression createIdentifierNode(String name) {
+		return new AIdentifierExpression(createTIdentifierLiteral(name));
+	}
+
 	private void createPropertyClause() {
 		List<PPredicate> propertiesList = new ArrayList<>();
 		propertiesList.addAll(evalRecursiveDefinitions());
@@ -2311,10 +2314,6 @@ public class BAstCreator extends BuiltInOPs
 		}
 	}
 
-	public static AIdentifierExpression createIdentifierNode(String name) {
-		return new AIdentifierExpression(createTIdentifierLiteral(name));
-	}
-
 	public PPredicate createConjunction(List<PPredicate> list) {
 		if (list.size() == 1)
 			return list.get(0);