if_else_ast's bb_next written