[Eva] Adds [replace_base] in abstract locations.

Applies the substitution of local and formal variables to the  copy of variables
in recursive calls.