implement immediate dominators