Fix issue with solving trivially true comparisons
Fix issue with solving trivially true comparisons


Former-commit-id: 298dbbf363ff8d36a94adec2972c6205733cfcf1
Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide