pub fn compute_dom_tree( context: &Context, function: &Function) -> (DomTree, PostOrder)
Compute the dominator tree for the CFG.