wrong simplification in if_zero_else