Fix minor bug in Allocation Bounds Inference
Fix minor bug in Allocation Bounds Inference

b[i].min and max wasn't getting simplified, but was used in the Assert
Stmt condition

kgnk/Halide,tdenniston/Halide,ronen/Halide,tdenniston/Halide,kgnk/Halide,ronen/Halide,ronen/Halide,jiawen/Halide,jiawen/Halide,jiawen/Halide,kgnk/Halide,tdenniston/Halide,ronen/Halide,psuriana/Halide,kgnk/Halide,tdenniston/Halide,kgnk/Halide,psuriana/Halide,psuriana/Halide,tdenniston/Halide,jiawen/Halide,psuriana/Halide,tdenniston/Halide,ronen/Halide,kgnk/Halide,psuriana/Halide,kgnk/Halide,ronen/Halide,jiawen/Halide,jiawen/Halide,tdenniston/Halide,jiawen/Halide,kgnk/Halide,tdenniston/Halide,ronen/Halide,ronen/Halide,psuriana/Halide,psuriana/Halide