if (value >= low && value <= high) {
target = TableSwitch.getTarget(s, value - low);
}
Goto.mutate(s, GOTO, target);
} else if (low == high) {
<BUG>BranchOperand defaultTarget = TableSwitch.getDefault(s);
</BUG>
IfCmp.mutate(s,
INT_IFCMP,
ir.regpool.makeTempValidation(),

if (value >= low && value <= high) {
target = TableSwitch.getTarget(s, value - low);
}
Goto.mutate(s, GOTO, target);
} else if (low == high) {
BranchOperand defaultTarget = TableSwitch.getClearDefault(s);
IfCmp.mutate(s,
INT_IFCMP,
ir.regpool.makeTempValidation(),
