is my intuition correct, then, that the worst case is that we declare a node unreachable (in extremely convoluted cases) when it actually is not?