Function blocks_reachable_after_call 

pub fn blocks_reachable_after_call(
    tcx: TyCtxt<'_>,
    caller: DefId,
    call_block: BasicBlock,
) -> HashSet<BasicBlock>

Collect all basic blocks reachable after (and including) a call block.