return withBody(sc, new Block(sc.getBody().getFilePosition()));
}
private static SwitchCase withBody(SwitchCase sc, Block body) {
if (sc instanceof DefaultCaseStmt) {
return new DefaultCaseStmt(sc.getFilePosition(), body);
} else {
CaseStmt cs = (CaseStmt) sc;
return new CaseStmt(sc.getFilePosition(), cs.getCaseValue(), body);
}
}