nir: Recognize sat(add(b2f(a), b2f(b))) as a logical OR.