if (namePrefix.size()!=0) { Integer old = (Integer)namePrefix.removeLast(); namePrefix.add(new Integer(old.intValue()+1)); }
    public void postVisitPipeline(SIRPipeline self,				  SIRStream parent,				  JFieldDeclaration[] fields,				  JMethodDeclaration[] methods,				  JMethodDeclaration init,				  List elements) {	// stop counting children by removing a digit from namePrefix	namePrefix.removeLast();    }