[Eva] Fixes a convergence issue on allocated memory.

On some loops allocating memory, the size of the allocated base can be
increased at each iteration without widening, thus preventing the convergence
of the analysis.
In lmap, when the widening has no effect, we widen the size of such allocated
bases to avoid such issues.