Preserve HasNSW and HasNUW when constructing SCEVs for Add and Mul