moved dominator calculation to a parser pass