if (! KjcOptions.atlas) {
if (! KjcOptions.magic_net) {
                    public void visitFilter(SIRFilter self,                                            SIRFilterIter iter) {                        if (Vectorizable.vectorizable(self)) {                            if (! KjcOptions.atlas) {                                Vectorize.vectorize(self);                            }                            forScheduling(self);                        }                    }