[W11] Toposort hinzugefügt.