compute_pure_function_definition_value_bounds 1412 src/Bounds.cpp         Interval s_interval = compute_pure_function_definition_value_bounds(s.definition, scope, fb, dim);
compute_pure_function_definition_value_bounds 1438 src/Bounds.cpp                 result = compute_pure_function_definition_value_bounds(f.definition(), arg_scope, fb, j);