fn bfs_iter<G: IntoNeighbors + GraphRef + Visitable<NodeId = Node, Map = <SPDGImpl as Visitable>::Map>>(
    g: G,
    controller_id: Endpoint,
    start: impl IntoIterator<Item = Node>
) -> impl Iterator<Item = GlobalNode>