Fix a bug in obj_1cfa_extractor.