Function assert_dimension 

pub fn assert_dimension(
    expr: &Ex,
    dims: &DimMap,
    expected: ConstDim,
) -> Result<(), String>

Infer the dimension and assert it matches the expected dimension.

Returns Ok(()) if it matches, or Err(message) describing the mismatch.