}
cfg.setFlag(CFG.PRUNED_UNCONDITIONAL_THROWERS);
// Now we are done with the CFG refining process
cfg.setFlag(CFG.REFINED);
cfg.clearFlag(CFG.BUSY);
// If the CFG changed as a result of pruning, purge all analysis results
// for the method.
if (changed) {