rst: major change: graph model now reflect dominace relations
- there's no edge from SAT to NUC, but from NUC to SAT
- a "span" group dominates NUC, which dominates SAT ...