fn inject_edge_counter_basic_block(
    mir_body: &mut Body<'_>,
    from_bb: BasicBlock,
    to_bb: BasicBlock
) -> BasicBlock