* Implement dominator based loop identification