Complete dependence analysis theory.
Finalize non-nested loop part.