provably_true_over_domain 241 src/TrimNoOps.cpp if (provably_true_over_domain(a <= b)) { provably_true_over_domain 243 src/TrimNoOps.cpp } else if (provably_true_over_domain(b <= a)) { provably_true_over_domain 257 src/TrimNoOps.cpp if (provably_true_over_domain(a >= b)) { provably_true_over_domain 259 src/TrimNoOps.cpp } else if (provably_true_over_domain(b >= a)) { provably_true_over_domain 270 src/TrimNoOps.cpp if (provably_true_over_domain(expr)) { provably_true_over_domain 272 src/TrimNoOps.cpp } else if (provably_true_over_domain(!expr)) {