fn insert_counter(basic_block_data: &mut BasicBlockData<'_>)