Better support for store_at() in examples/halide