Fix a bug in Obj_1cfa_extractor.