Implement LoopDepth calculation in terms of dominators instead of intervals