Dominator tree construction and immediate dominator calculation over directed control-fl…