Bounds computation for AddExpr