* Beware: Works only if integer overflow might be ignored, as for C, Java
* and for address expression.
* Works only if Constant folding is activated.
*
* See Muchnik 12.3.1 Algebraic Simplification and Reassociation of
* Addressing Expressions.
* Beware: Works only if integer overflow might be ignored, as for C, Java
* and for address expression.
* Works only if Constant folding is activated.
*
* See Muchnik 12.3.1 Algebraic Simplification and Reassociation of
* Addressing Expressions.