Added dominator computation back in.