julia

922b4fc6 - Implement algorithm for updating dominator tree with CFG edge insertions and deletions

Implement algorithm for updating dominator tree with CFG edge insertions and deletions The DFS tree associated with a CFG now keeps track of postorder as well as preorder numbers. The DFS tree, as well as the state associated with the SNCA algorithm for finding (immediate) dominators is now stored in DomTree and reused for Dynamic SNCA.