if (n.isTaint() && n2 != null) {
n2.setTaint(true);
}
}
if (log.isDebugEnabled()) {
log.debug(g.toDot(nodes));
}
log.info("Transforming into grammar...");
FlowGraph2Grammar f2g = new FlowGraph2Grammar(g);
Grammar r = f2g.convert();
Set<Nonterminal> hs_nt = new HashSet<Nonterminal>();