Simplify operations on min & max
Simplify operations on min & max

Operations on Min & Max objects are now mapped to their operands.
Max(a, b) + 1, for example, will be Max(a + 1, b + 1). This should be
the first step in lessening the number of unstable bounds in the range
analysis.

henry-nazare/llvm-sage,henry-nazare/llvm-sage