it's awkward to use transitive_subgraph_of_addresses_bfs currently because it's a bit too low level