pub fn sizes_to_vec(sizes: &str) -> Result<(Vec<usize>, usize), Xcsp3Error>
transform the string size to vector sizes eg: [2][3][4] -> ([2,3,4], 24)