adding some tests and dispatch for if_one_else_zero and if_zero_else_one