Iterates all states reachable from the initial state of the given iterator in BFS order.
The returned iterable cannot be empty and will always contain the initial state.
Iterates all states reachable from the initial state of the given iterator in BFS order.
The returned iterable cannot be empty and will always contain the initial state.