remove setPosition method

src/main/java/de/tla2bAst/BAstCreator.java

@@ -885,18 +885,14 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
 				AFlooredDivExpression aFlooredDivExpression = new AFlooredDivExpression(
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
-				setPosition(aFlooredDivExpression, opApplNode);
-				returnNode = aFlooredDivExpression;
+				returnNode = createPositionedNode(aFlooredDivExpression, opApplNode);;
 				break;
 
 			case B_OPCODE_realdiv: // /
 				ADivExpression aDivExpression = new ADivExpression(
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[0]),
 					visitExprOrOpArgNodeExpression(opApplNode.getArgs()[1]));
-
-				setPosition(aDivExpression, opApplNode);
-				returnNode = aDivExpression;
+				returnNode = createPositionedNode(aDivExpression, opApplNode);
 				break;
 
 			case B_OPCODE_dotdot: // ..
@@ -1043,10 +1039,6 @@ public class BAstCreator extends BuiltInOPs implements TranslationGlobals, BBuil
 		return positionedNode;
 	}
 
-	private void setPosition(PositionedNode positionNode, OpApplNode opApplNode) {
-		createPositionedNode(positionNode, opApplNode);
-	}
-
 	private PExpression visitBuiltInKindExpression(OpApplNode n) {
 		switch (getOpCode(n.getOperator().getName())) {