for (int i = 0; i < newChildren.size(); i++)
{
String traceTag = newChildren.get(i).toString() + Integer.toString(traceTagCount++);
/* Trace operator */
Trace traceOp = new Trace(newChildren.get(i), traceTag);
list.add(traceOp);
}
/* Inject trace operator */
if (list.size() > 0)