revision: use generation for A..B --topo-order queries