Reaching definitions, Worklist algorithm.