reaching def for BFS
adding Tarjan's Algorithm to the example
bfs_symbols: let graph symbol be the first one
Merge branch 'master' of https://github.com/stanford-ppl/Green-Marl