boxes_provided   1562 src/Bounds.cpp     r = boxes_provided(loop);
boxes_provided     98 src/Bounds.h   std::map<std::string, Box> boxes_provided(Expr e,
boxes_provided    101 src/Bounds.h   std::map<std::string, Box> boxes_provided(Stmt s,