let mk_loop_assigns_id kf s ca a =
  let ca = Property.Id_code_annot ca in
  let p = Property.ip_of_assigns kf (Kstmt s) ca (Writes a) in
  Extlib.opt_map (mk_prop PKPropLoop) p