let mk_annot_id kf stmt ca = Property.ip_of_code_annot_single kf stmt ca