finished dominators test