isl_ast_build_get_stride: use isl_val