isl_ast_build.c: update_values: explicitly take into account stride constraint