[PM] Pull the generic graph algorithms and data structures for dominator