enhanced data flow analyzer for loops