Add Recursive Decomposition
Add Dominance Relations