// for the method.
if (changed) {
DepthFirstSearch dfs = new DepthFirstSearch(cfg);
dfs.search();
Collection<BasicBlock> unreachable = dfs.unvisitedVertices();
if (!unreachable.isEmpty()) {
if (DEBUG_CFG) {
System.out.println("Unreachable blocks");
}
for (BasicBlock b : unreachable) {