[ValueTracking] Recognize that and(x, add (x, -1)) clears the low bit