[Eva] In abstract domains, removes [introduce_globals] and changes [enter_scope].

src/plugins/value/domains/abstract_domain.mli

src/plugins/value/domains/apron/apron_domain.ml

src/plugins/value/domains/cvalue/cvalue_domain.ml

src/plugins/value/domains/domain_builder.ml

src/plugins/value/domains/domain_lift.ml

src/plugins/value/domains/domain_product.ml

src/plugins/value/domains/equality/equality_domain.ml

src/plugins/value/domains/gauges/gauges_domain.ml

src/plugins/value/domains/inout_domain.ml

src/plugins/value/domains/octagons.ml

src/plugins/value/domains/offsm_domain.ml

src/plugins/value/domains/printer_domain.ml

src/plugins/value/domains/simple_memory.ml

src/plugins/value/domains/simpler_domains.mli

src/plugins/value/domains/symbolic_locs.ml

src/plugins/value/domains/traces_domain.ml

src/plugins/value/domains/unit_domain.ml

src/plugins/value/engine/initialization.ml

src/plugins/value/engine/iterator.ml

src/plugins/value/engine/transfer_specification.ml