This has several advantages:
* It is more elegant and should converge faster, e.g. it stabilizes SCCs in topological order.
* It resolves corner cases with unreachable code.
* It avoids using the strange dom walker and a queue.
* It is a step towards calculating the information on demand.
* It should make the buildbot happy again.