Stmt allocation_bounds_inference(Stmt s, const std::map< std::string, Function > &env, const std::map< std::pair< std::string, int >, Interval > &func_bounds)
Take a partially statement with Realize nodes in terms of variables, and define values for those vari...