Dominator frontier updated: finding natural loop