Add dominator tree information to functions