fn remove_successors<'tcx, F>(
    terminator_kind: &TerminatorKind<'tcx>,
    is_unreachable: F
) -> Option<TerminatorKind<'tcx>>where
    F: Fn(BasicBlock) -> bool,