// Now rewrite the PrintNode (reusing the old node id).
String newExprText =
"(" + currPluralNode.getExpr().toSourceString() + ") - " + currPluralNode.getOffset();
PrintNode newPrintNode = new PrintNode(node.getId(), node.isImplicit(), newExprText, null);
newPrintNode.addChildren(node.getChildren());
node.getParent().replaceChild(node, newPrintNode);
}
}
}