[Eva] Implements inject_int for the interval value used for the Apron domains.

Fixes a bug when splitting on a value, as we compare the result of an evaluation
with the value given by inject_int.