} else if(curr instanceof LookupSwitchStmt){
LookupSwitchStmt lookup = (LookupSwitchStmt) curr;
addTargets(lookup.getTargets());
m_labels.add(lookup.getDefaultTarget());
} else if(curr instanceof TableSwitchStmt){
TableSwitchStmt table = (TableSwitchStmt) curr;
addTargets(table.getTargets());
}
}
}