declare isl_multi_*_flatten_range