Merge "Refined range rule for ABS(x)"
am: cdb15e45ce

Change-Id: I0d5f87844b591a0d0402ede2066973ceba134207