remove_unreachable function not necessary