I can find the strict dominators of basic blocks in a control flow graph, but I don't understand ... "The immediate dominator or <B>idom</B> of a node n is the unique node that strictly dominates ...