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

Merged Virgile Prevosto requested to merge fix/acsl-example into master

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.

Merge request reports