box_provided     1375 src/Bounds.cpp Box box_provided(Expr e, string fn, const Scope<Interval> &scope, const FuncValueBounds &fb) {
box_provided     1383 src/Bounds.cpp Box box_provided(Stmt s, string fn, const Scope<Interval> &scope, const FuncValueBounds &fb) {