- use Phi list to speed up algo
- initially clear the links of all nodes (block walker visits only initially reachable ones)
- track resources
- invalidate analysis info at end

[r27386]