[Eva] Improves the emission of integer overflow alarms on a/b and a%b

See merge request frama-c/frama-c!4809