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


Former-commit-id: bf63ebc83d7035023dad5701ab307b276b413f83
darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide