Code refactoring from ONE_LOCATION_INFO to BASIC_BLOCK