Using BFS to find backward dependency paths.
Tainting improvement.