fix bug in dominator construction; add dominator edges to CFG output