if (filter instanceof SIRPredefinedFilter) {  ((SIRPredefinedFilter)filter).propagatePredefinedFields(propagator); }
    private void propagateFilterFields(Propagator propagator, 				       SIRFilter filter) {	// propagate to pop expression	JExpression newPop = (JExpression)filter.getPop().accept(propagator);	if (newPop!=null && newPop!=filter.getPop()) {	    filter.setPop(newPop);	}	// propagate to peek expression	JExpression newPeek = (JExpression)filter.getPeek().accept(propagator);	if (newPeek!=null && newPeek!=filter.getPeek()) {	    filter.setPeek(newPeek);	}	// propagate to push expression	JExpression newPush = (JExpression)filter.getPush().accept(propagator);	if (newPush!=null && newPush!=filter.getPush()) {	    filter.setPush(newPush);	}    }