corrections for if_zero_else_one if_one_else_zero