natural loop at dominator.v

define naturaloop (for natural loop)
prove nested-loop's properties and some lemma (for dominate)