finished findDominator class