Added simplification for (y + (a*b)) % b -> y % b.
Added simplification for (y + (a*b)) % b -> y % b.


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