[Eva] Fixes a crash when running successive analyses with -eva-domains-function.

The name of datatype created for the restriction of a domain to some functions
must be unique, even when the same domain is used in successive analyses.