enhanced data flow analyzer for loops
fix analyzer reexport flag