private void checkChildOfSwitch(Statement node, String desc) {
if (node.getParent() == null) return;
Block p = node.upToBlock();
Switch gp = p == null ? null : p.upToSwitch();
boolean genError = false;
genError = p == null;
genError |= gp == null && p.getParent() != null;