fix while reaching-defs
reaching def for BFS
adding Tarjan's Algorithm to the example
bfs_symbols: let graph symbol be the first one