Fix for invalid jump table basic block