[Eva] Octagons: do not infer relations or intervals on global initializations.

Fixes performance issues: the initialization of large arrays or structures
can lead to a very large number of relations or intervals.

Also, do not infer intervals on volatile lvalues.