Fix error when every block branch is unreachable