for (int i= 0; i < caseGroups.size(); i++)
{
Node scNode= caseGroups.get(i);
SwitchCase switchCase= new SwitchCase(scNode.getInitialPc());
switchCase.setExpressions(caseGroupExpressions.get(i));
switchStmt.appendChild(switchCase);
graph.rollOut(scNode, switchCase);
}
block.appendChild(switchStmt);