Fix bug in Solver
Fix bug in Solver

Was conservative in the wrong direction in certain circumstances


Former-commit-id: 940383d2657f43ed9cbbe509e1ac7303241c8714
darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide