dominator-analysis