Just a quick question. Why didn't we allow `Exiting` nodes to become unreachable before? That feels weird.