*
* An abstract graph "interface". Currently
* only used by the DFS facility.
*
* This is just that we can do some graph algos
* on the CFG, dominance tree, etc.
*
* An abstract graph "interface". Currently
* only used by the DFS facility.
*
* This is just that we can do some graph algos
* on the CFG, dominance tree, etc.