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)) {