test1
value flow: improved handling of for loops