if (is_Const(get_array_lower_bound(tp, dim)) && is_Const(get_array_upper_bound(tp, dim))) {
long min = get_array_lower_bound_int(tp, dim);
if (is_Const(get_array_lower_bound(tp, dim)) && is_Const(get_array_upper_bound(tp, dim))) {
long min = get_array_lower_bound_int(tp, dim);