New function boro_reduce_store().