Function chosen_switch_value 

fn chosen_switch_value(
    path: &Path,
    block: BasicBlock,
    terminator: &Terminator<'_>,
) -> Option<u128>

Return the concrete SwitchInt value that selects the next path block.