nir: propagate known constant values into the if-then branch