Added GetJumpableBasicBlock method to Randomizer