Function bound_index_domains_of_expr 

pub fn bound_index_domains_of_expr(
    expr: &Expression,
) -> Option<Vec<Moo<GroundDomain>>>

Gets concrete index domains for a matrix expression.

For matrix literals, right-unbounded integer index domains like int(1..) are bounded using the literal’s realised size in that dimension. For non-literals, this falls back to the expression’s resolved domain.