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