[Eva] In abstract domains, changes the signature of [interpret_acsl_extension].

This function now takes a logical environment, as [evaluate_predicate] and
[reduce_by_predicate].