[Eva] Fixes the location of the message about the automatic loop unrolling.

When two loops follow each other, the automatic loop unrolling is performed on
the transition edge between the two, where the current statement (from
Cil.CurrentLoc) is still the first loop.

Adds a test for this case.