Make omission of impossible if-else branches work with constants