Case caseEntry = new Case(line.getInstruction(), ih, resolved);
cases.add(caseEntry);
}
if(select.getTarget()!=null) {
DefaultCase defaultCase = new DefaultCase(line.getInstruction(), select.getTarget());
line.setDefaultCase(defaultCase);
}
//now, create the graph.
line.setCases(cases);