Module 16: Data Flow Analysis in Presence of Procedure Calls
  Lecture 32: Iteration
 

Dependence distance vector is (1, -1)

A more natural way to depict such a loop is to assign iteration vectors that give triangular space as:

Semi normalized iteration vector: when distance between successive iterations is 1 and the lower limit is not zero