[Eva] Abstractions: final steps to handle multiple locations.

Abstractions.ml should be done; now we have to fix everything else (in the
next commits).