Function mk_successors 

fn mk_successors(
    slice: &[BasicBlock],
    option1: Option<BasicBlock>,
    option2: Option<BasicBlock>,
) -> Successors<'_>