let mk_stmt_assigns_id kf s b a =
  let b = Property.Id_behavior b in
  let p = Property.ip_of_assigns kf (Kstmt s) b (Writes a) in
  Extlib.opt_map (mk_prop PKProp) p