if (node.isFilter())
if (node.isFilter()) {
    private void renameFilterContents(FlatNode top)     {	top.accept(new FlatVisitor() {		public void visitNode(FlatNode node) 		{		    if (node.isFilter())			RenameAll.renameFilterContents((SIRFilter)node.contents);		}	    }, null, true);    }