add separate dependency analysis for loops
TODO as my email to mclab mentioned, we need fix something
to make we can get into tirforstmt.