finished step 2 of FindDominators