[acsl] provides an example that can actually be verified by WP

As n is clearly intended to be a size, it seems that the best fix is to declare it (and the i which goes from 0 to n) as size_t instead of int, rather than keeping with int variables everywhere.