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