lazy_basic_block_versioning