[Eva] Octagons domain: avoids inferring useless relations.

Relations are represented as [X±Y ∈ ival]. If the [ival] is too large and
represents all possible values from the type of X and Y, then the relation
is meaningless. Do not infer such relations.