nir: Recognize (a < b || a < c) as a < max(b, c).