}
private static void replaceInterpolation(Node copy,
ArrayList<VariableNode> variables) {
if (copy instanceof IVariableNode) {
IVariableNode n = (IVariableNode) copy;
n.replaceVariables(variables);
}
for (Node c : copy.getChildren()) {
replaceInterpolation(c, variables);
}