boolean (IGraphNode node, IGraphNode dom) { while (!node.equals(dom)) { IGraphNode idom = colOrderedIDoms.getWithKey(node); if (idom == node) { return false; // root node or merging point } else if (idom == null) { throw new RuntimeException("Inconsistent idom sequence discovered!"); } else { node = idom; } } return true; }