updated annotations for bfs primitive