Using GetJumpableBasicBlock